{"ast_node_type":"impl","tokens":[{"end":63,"kind":"keyword","start":0,"text":"lazily_normalize_ty:"}]}
    lazily_normalize_ty: impl FnMut(I::Ty) -> Result<I::Ty, E>,
    in_crate: InCrate,
) -> Result<Result<(), OrphanCheckErr<I, I::Ty>>, E>