Function chalk_solve::display::display_trait_with_assoc_ty_value
source ยท fn display_trait_with_assoc_ty_value<'a, I: Interner>(
s: &'a InternalWriterState<'a, I>,
assoc_ty_datum: Arc<AssociatedTyDatum<I>>,
trait_params: &'a [GenericArg<I>],
assoc_ty_params: &'a [GenericArg<I>],
assoc_ty_value: &'a Ty<I>,
) -> impl Display + 'a
Expand description
Displays a trait with its parameters and a single associated type -
something like IntoIterator<Item=T>
.
This is shared between where bounds & dyn Trait.