Function fe::task::check::check_single_file

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