Enums§
Functions§
- Add a requirement for core::fmt::Display to a
where
predicate for some type. - Push
new_type_predicate
onto the end ofwhere_clause
. - derive 🔒
- Hygienically add
where _: Display
to the set of TypeParamBounds forident
, creating such a set if necessary. - For all declared type parameters, add a core::fmt::Display constraint, unless the type parameter already has any type constraint.
- Map each declared generic type parameter to the set of all trait boundaries declared on it.
- Generate a
where
clause that ensures all generic type parametersimpl
core::fmt::Display unless already constrained. - Create a path with segments composed of [Idents] without any PathArguments.
- Create a
where
clause that we can add WherePredicates to.