Function check_ingot

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