pub fn check_program(stmts: &[Stmt]) -> Vec<BopWarning>Expand description
Run every static check over stmts and collect the
resulting warnings. Never errors — warnings are the only
output.
See check_program_with_resolver for a variant that
walks use statements to pick up imported enum
declarations; this plain version treats imported enums as
opaque and skips exhaustiveness warnings on them.