This commit is contained in:
Folkert 2022-11-15 10:02:57 +01:00
parent ed048c7c93
commit 18574560d3
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -133,6 +133,7 @@ pub fn load_and_typecheck(
}
}
#[allow(clippy::too_many_arguments)]
pub fn load_and_typecheck_str<'a>(
arena: &'a Bump,
filename: PathBuf,