Function type_implements_dyn_trait 

pub(crate) fn type_implements_dyn_trait<'tcx, M: Machine<'tcx>>(
    ecx: &mut InterpCx<'tcx, M>,
    ty: Ty<'tcx>,
    trait_ty: Ty<'tcx>,
) -> InterpResult<'tcx, (bool, &'tcx List<PolyExistentialPredicate<'tcx>>)>

Checks if a type implements predicates. Calls ensure_monomorphic_enough on ty and trait_ty for you.