fixup! Enable to annotate functions with formula_fn

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: coord-e

src/analyze.rs

@@ -591,28 +591,32 @@ impl<'tcx> Analyzer<'tcx> {
                 continue;
             }
             let rustc_hir::StmtKind::Semi(expr) = stmt.kind else {
-                panic!(
-                    "annotated path is expected to be a semi statement, but found: {:?}",
-                    stmt.kind
+                self.tcx.dcx().span_err(
+                    stmt.span,
+                    "annotated path is expected to be a semi statement",
                 );
+                continue;
             };
             let rustc_hir::ExprKind::Path(qpath) = expr.kind else {
-                panic!(
-                    "annotated path is expected to be a path expression, but found: {:?}",
-                    expr.kind
+                self.tcx.dcx().span_err(
+                    expr.span,
+                    "annotated path is expected to be a path expression",
                 );
+                continue;
             };
             let rustc_hir::QPath::Resolved(_, path) = qpath else {
-                panic!(
-                    "qpath is unexpectedly not resolved in annotated path: {:?}",
-                    qpath
+                self.tcx.dcx().span_err(
+                    expr.span,
+                    "annotated path is expected to be a resolved path",
                 );
+                continue;
             };
             let rustc_hir::def::Res::Def(_, def_id) = path.res else {
-                panic!(
-                    "annotated path is expected to refer to a def, but found: {:?}",
-                    path.res
+                self.tcx.dcx().span_err(
+                    path.span,
+                    "annotated path is expected to refer to a definition",
                 );
+                continue;
             };
             return Some(def_id);
         }