Function diagnose_unparsable 

pub fn diagnose_unparsable(
    tokens: &[Token],
    source: &str,
    strict: Vec<CompileError>,
) -> Vec<CompileError>

#1663: the diagnostics for a file the strict parser rejects with strict — that error, every other syntax error from a recovering parse, then the resolver’s and checker’s findings in the declarations that did parse. References to a declaration recovery had to skip are known names, not unknown ones (Decision B), and the checker’s diagnostics in a declaration the resolver rejected are its echoes (Decision A); both are left out.