Function check 

pub fn check(
    file: &SourceFile,
    definitions: &dyn Definitions,
) -> Vec<Diagnostic>

Checks a parsed map. Syntax errors are not repeated; see fml_syntax::Parse::diagnostics.