dotty.tools.dotc.util.Property$
Defines a key type with which to tag properties, such as attachments or context properties
Attributes
-
Graph
-
-
Supertypes
-
trait Matchable
class Any
-
Self type
-
Members list
The class of keys for properties of type V
The class of keys for properties of type V
Attributes
-
Supertypes
-
trait Matchable
class Any
-
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
-
Supertypes
-
trait Matchable
class Any