pub const REJECTED_PATTERNS: &[(&str, &str)];Expand description
Patterns that are rejected in user code because they conflict with the harness or exceed the phase 1 source model.
Each entry is (pattern, human-readable reason). The pattern is matched
against the source after stripping comments and string literals would be
a more robust approach, but for phase 1 a simple token-level scan is
sufficient — fn main inside a string literal is an unlikely false positive
and the compile step would catch real conflicts anyway.