Function chalk_solve::display::display_trait_with_assoc_ty_value

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

Displays a trait with its parameters and a single associated type - something like IntoIterator<Item=T>.

This is shared between where bounds & dyn Trait.