Function fe::task::check::check_ingot

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