fn contains_unanalysable(stmts: &[Stmt<'_>]) -> bool
true if any statement is StmtKind::Err (currently catches inline assembly, which solar doesn’t yet lower to HIR).
true
StmtKind::Err