chore: improve docstring

Author: federico-stacks

clarity/src/vm/analysis/errors.rs

@@ -236,7 +236,6 @@ pub enum StaticCheckErrorKind {
     /// The `String` wraps the specific reason for the failure.
     CostComputationFailed(String),
     /// Contract-analysis time exceeds the allowed budget, halting analysis to ensure responsiveness.
-    /// Distinct from `ExecutionTimeExpired` so an analysis-phase timeout is separable end-to-end.
     AnalysisTimeExpired,
 
     /// Value exceeds the maximum allowed size for type-checking or serialization.

stackslib/src/chainstate/tests/static_analysis_tests.rs

@@ -62,7 +62,6 @@ fn variant_coverage_report(variant: StaticCheckErrorKind) {
         CostBalanceExceeded(execution_cost, execution_cost1) => Tested(vec![static_check_error_cost_balance_exceeded]),
         MemoryBalanceExceeded(_, _) => Tested(vec![static_check_error_memory_balance_exceeded]),
         CostComputationFailed(_) => Unreachable_ExpectLike,
-        ExecutionTimeExpired => Unreachable_Functionally("Can only be triggered at runtime."),
         AnalysisTimeExpired => Unreachable_Functionally(
             "All consensus-critical code paths (block validation and transaction processing) pass
              `None` for max_execution_time, so the analysis-phase time tracking stays