pub fn parameters_for<'tcx>(
t: &impl TypeVisitable<TyCtxt<'tcx>>,
include_nonconstraining: bool
) -> Vec<Parameter>
Expand description
If include_nonconstraining
is false, returns the list of parameters that are
constrained by t
- i.e., the value of each parameter in the list is
uniquely determined by t
(see RFC 447). If it is true, return the list
of parameters whose values are needed in order to constrain ty
- these
differ, with the latter being a superset, in the presence of projections.