Function chalk_solve::display::display_self_where_clauses_as_bounds
source ยท fn display_self_where_clauses_as_bounds<'a, I: Interner>(
s: &'a InternalWriterState<'a, I>,
bounds: &'a [QuantifiedWhereClause<I>],
) -> impl Display + 'a
Expand description
Displays a set of bounds, all targeting Self
, as just the trait names,
separated by +
.
For example, a list of quantified where clauses which would normally be displayed as:
Self: A, Self: B, Self: C
Is instead displayed by this function as:
A + B + C
Shared between the Trait
in dyn Trait
and OpaqueTyDatum
bounds.