pub fn check_fn(
genv: GlobalEnv<'_, '_>,
cache: &mut FixQueryCache,
def_id: MaybeExternId,
) -> Result<(), ErrorGuaranteed>
pub fn check_fn(
genv: GlobalEnv<'_, '_>,
cache: &mut FixQueryCache,
def_id: MaybeExternId,
) -> Result<(), ErrorGuaranteed>