Allow CEI analysis with const generics

sway-core/src/language/ty/expression/expression.rs

@@ -597,6 +597,9 @@ impl MaterializeConstGenerics for TyExpression {
                 exp.materialize_const_generics(engines, handler, name, value)
             }
             TyExpressionVariant::Continue | TyExpressionVariant::Break => Ok(()),
+            TyExpressionVariant::AbiCast { address, .. } => {
+                address.materialize_const_generics(engines, handler, name, value)
+            }
             _ => Err(handler.emit_err(
                 sway_error::error::CompileError::ConstGenericNotSupportedHere {
                     span: self.span.clone(),

sway-core/src/semantic_analysis/cei_pattern_analysis.rs

@@ -220,13 +220,11 @@ fn analyze_expression(
     use crate::ty::TyExpressionVariant::*;
     let decl_engine = engines.de();
     match &expr.expression {
-        ConstGenericExpression { .. } => {
-            todo!("Will be implemented by https://github.com/FuelLabs/sway/issues/6860")
-        }
         // base cases: no warnings can be emitted
         Literal(_)
         | ConstantExpression { .. }
         | ConfigurableExpression { .. }
+        | ConstGenericExpression { .. }
         | VariableExpression { .. }
         | FunctionParameter
         | StorageAccess(_)

test/src/e2e_vm_tests/test_programs/should_pass/static_analysis/cei_pattern_violation_in_standalone_function/src/main.sw

@@ -8,9 +8,11 @@ abi TestAbi {
 }
 
 #[storage(write)]
-fn standalone_function() {
+fn standalone_function<const N: u64>() {
     let other_contract = abi(TestAbi, 0x3dba0a4455b598b7655a7fb430883d96c9527ef275b49739e7b0ad12f8280eae);
 
+    let _ = __dbg(N);
+
     // interaction
     other_contract.deposit();
     // effect -- therefore violation of CEI where effect should go before interaction
@@ -21,6 +23,6 @@ fn standalone_function() {
 impl TestAbi for Contract {
     #[storage(write)]
     fn deposit() {
-      standalone_function();
+      standalone_function::<5>();
     }
 }

test/src/e2e_vm_tests/test_programs/should_pass/static_analysis/cei_pattern_violation_in_standalone_function/test.toml

@@ -2,3 +2,4 @@ category = "compile"
 
 # check: $()Storage write after external contract interaction in function or method "standalone_function". Consider making all storage writes before calling another contract
 expected_warnings = 2
+experimental = { const_generics = true }