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.