fn contains_illegal_impl_trait_in_trait<'tcx>( tcx: TyCtxt<'tcx>, fn_def_id: DefId, ty: Binder<'tcx, Ty<'tcx>>, ) -> Option<MethodViolationCode>