pub fn crate_incoherent_impls(
    tcx: TyCtxt<'_>,
    simp: SimplifiedType
) -> Result<&[DefId], ErrorGuaranteed>