pub fn contains_illegal_impl_trait_in_trait<'tcx>( tcx: TyCtxt<'tcx>, ty: Binder<'tcx, Ty<'tcx>>) -> bool