Property

dotty.tools.dotc.util.Property

object Property

Defines a key type with which to tag properties, such as attachments or context properties

Attributes

The class of keys for properties of type V

Supertypes: class Object

trait Matchable

class Any
Known subtypes: object SourceVersion

object MessageLimiter

class StickyKey[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.

In this article

Generated with