fn should_rerun_after_erased_canonicalization<I: Interner>(
_: AccessedOpaques<I>,
original_typing_mode: TypingMode<I>,
parent_opaque_types: &[(OpaqueTypeKey<I>, I::Ty)],
) -> RerunDecisionfn should_rerun_after_erased_canonicalization<I: Interner>(
_: AccessedOpaques<I>,
original_typing_mode: TypingMode<I>,
parent_opaque_types: &[(OpaqueTypeKey<I>, I::Ty)],
) -> RerunDecision