pub fn check_single_file(db: &mut Db, path: &str, src: &str) -> Vec<Diagnostic>