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.