fix: emit diagnostic for unsupported items in statement position instead of panicking

Fixes #9785

Author: orizi

crates/cairo-lang-semantic/src/expr/compute.rs

@@ -4753,28 +4753,24 @@ pub fn compute_and_append_statement_semantic<'db>(
                         }
                     }
                 }
-                ast::ModuleItem::Module(_) => {
-                    unreachable!("Modules are not supported inside a function.")
-                }
-                ast::ModuleItem::FreeFunction(_) => {
-                    unreachable!("FreeFunction type not supported.")
-                }
-                ast::ModuleItem::ExternFunction(_) => {
-                    unreachable!("ExternFunction type not supported.")
-                }
-                ast::ModuleItem::ExternType(_) => unreachable!("ExternType type not supported."),
-                ast::ModuleItem::Trait(_) => unreachable!("Trait type not supported."),
-                ast::ModuleItem::Impl(_) => unreachable!("Impl type not supported."),
-                ast::ModuleItem::ImplAlias(_) => unreachable!("ImplAlias type not supported."),
-                ast::ModuleItem::Struct(_) => unreachable!("Struct type not supported."),
-                ast::ModuleItem::Enum(_) => unreachable!("Enum type not supported."),
-                ast::ModuleItem::TypeAlias(_) => unreachable!("TypeAlias type not supported."),
-                ast::ModuleItem::InlineMacro(_) => unreachable!("InlineMacro type not supported."),
-                ast::ModuleItem::HeaderDoc(_) => unreachable!("HeaderDoc type not supported."),
-                ast::ModuleItem::MacroDeclaration(_) => {
-                    unreachable!("MacroDeclaration type not supported.")
+                ast::ModuleItem::Module(_)
+                | ast::ModuleItem::FreeFunction(_)
+                | ast::ModuleItem::ExternFunction(_)
+                | ast::ModuleItem::ExternType(_)
+                | ast::ModuleItem::Trait(_)
+                | ast::ModuleItem::Impl(_)
+                | ast::ModuleItem::ImplAlias(_)
+                | ast::ModuleItem::Struct(_)
+                | ast::ModuleItem::Enum(_)
+                | ast::ModuleItem::TypeAlias(_)
+                | ast::ModuleItem::InlineMacro(_)
+                | ast::ModuleItem::HeaderDoc(_)
+                | ast::ModuleItem::MacroDeclaration(_)
+                | ast::ModuleItem::Missing(_) => {
+                    return Err(ctx
+                        .diagnostics
+                        .report(stmt_item_syntax.stable_ptr(db), UnsupportedUseItemInStatement));
                 }
-                ast::ModuleItem::Missing(_) => unreachable!("Missing type not supported."),
             }
             statements.push(ctx.arenas.statements.alloc(semantic::Statement::Item(
                 semantic::StatementItem { stable_ptr: syntax.stable_ptr(db) },

crates/cairo-lang-semantic/src/expr/test_data/statements

@@ -216,3 +216,26 @@ fn unstable_function_with_note() -> felt252 {
 //! > function_body
 
 //! > expected_diagnostics
+
+//! > ==========================================================================
+
+//! > Type alias as statement inside a function body.
+
+//! > test_runner_name
+test_function_diagnostics(expect_diagnostics: true)
+
+//! > function_code
+fn foo() {
+    type MyAlias = felt252;
+}
+
+//! > function_name
+foo
+
+//! > module_code
+
+//! > expected_diagnostics
+error[E2075]: Unsupported use item in statement.
+ --> lib.cairo:2:5
+    type MyAlias = felt252;
+    ^^^^^^^^^^^^^^^^^^^^^^^