pub fn implements_trait_with_env_from_iter<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    ty: Ty<'tcx>,
    trait_id: DefId,
    args: impl IntoIterator<Item = impl Into<Option<GenericArg<'tcx>>>>
) -> bool
Expand description

Same as implements_trait_from_env but takes the arguments as an iterator.