Function rustc_trait_selection::traits::type_implements_trait

pub(in traits) fn type_implements_trait<'tcx>(
    tcx: TyCtxt<'tcx>, 
    key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
) -> bool

Check whether a ty implements given trait(trait_def_id).

NOTE: Always return false for a type which needs inference.