Fix stack overflow at symbol resolver

crates/analyzer/src/symbol_table.rs

@@ -107,6 +107,13 @@ impl SymbolTable {
         kind: &TypeKind,
     ) -> Result<ResolveContext<'a>, ResolveError> {
         if let TypeKind::UserDefined(ref x) = kind {
+            // Detect infinite loop in trace_user_defined
+            if let Some(last_found) = context.last_found {
+                if *x.first().unwrap() == last_found.token.text {
+                    return Ok(context);
+                }
+            }
+
             let symbol = self.resolve(&SymbolPath::new(x), &context.namespace)?;
             match symbol.found.kind {
                 SymbolKind::SystemVerilog => context.sv_member = true,

crates/analyzer/src/tests.rs

@@ -2034,3 +2034,16 @@ fn r#unsafe() {
     let errors = analyze(code);
     assert!(matches!(errors[0], AnalyzerError::UnknownUnsafe { .. }));
 }
+
+#[test]
+fn detect_recursive() {
+    let code = r#"
+    module ModuleA (
+        x: input x,
+    ) {
+    }
+    "#;
+
+    let errors = analyze(code);
+    assert!(matches!(errors[0], AnalyzerError::MismatchType { .. }));
+}