Function chalk_solve::display::display_type_with_generics

source ·

fn display_type_with_generics<'a, I: Interner>(
    s: &'a InternalWriterState<'a, I>,
    trait_name: impl RenderAsRust<I> + 'a,
    trait_params: impl IntoIterator<Item = &'a GenericArg<I>> + 'a
) -> impl Display + 'a

Expand description

Displays a type with its parameters - something like AsRef<T>, OpaqueTyName, or AdtName<Value>.

This is shared between where bounds, OpaqueTy, & dyn Trait.