Function rustc_hir_analysis::impl_wf_check::min_specialization::unconstrained_parent_impl_args
source · fn unconstrained_parent_impl_args<'tcx>(
tcx: TyCtxt<'tcx>,
impl_def_id: DefId,
impl_args: GenericArgsRef<'tcx>
) -> Vec<GenericArg<'tcx>>
Expand description
Returns a list of all of the unconstrained subst of the given impl.
For example given the impl:
impl<’a, T, I> … where &’a I: IntoIterator<Item=&’a T>
This would return the args corresponding to ['a, I]
, because knowing
'a
and I
determines the value of T
.