Expand description
name ≡ value relationships:
define a unique static name for a dynamic value.
To make a new name, we have to make up a new type-level constant. which is both statically known and unique.
Often a “type constant” wants to be an existential type.
However, dyn Trait types aren’t statically known,
and impl Trait types aren’t necessarily unique.
Happily, we can write rank-1 existential quantification
using rank-2 universal quantification,
which is allowed for lifetime variables.
So we can write the name as a lifetime. That also lets us skip writing it sometimes, thanks to lifetime elision.
Structs§
- Call
- A value that’s called by a name.
Functions§
- forge⚠
- Bestows a
'nameon something.