dotty.tools.dotc.util.Property$
Defines a key type with which to tag properties, such as attachments
or context properties
Attributes
- Graph
- Supertypes
- Self type
Members list
Concise view
Type members
The class of keys for properties of type V
The class of keys for properties of type V
Attributes
- Graph
- Supertypes
- Known subtypes
The class of keys for sticky properties of type V
The class of keys for sticky properties of type V
Sticky properties are properties that should be copied over when their container
is copied.
Attributes
- Graph
- Supertypes