An annotation used internally to mark a function type that was converted to a dependent function type during setup of inferred types. Such function types should not map roots to result variables.

Attributes

Source

package.scala

Supertypes

traitStaticAnnotation

classAnnotation

classObject

traitMatchable

classAny

An internal annotation placed on a refinement created by capture checking. Refinements with this annotation unconditionally override any info from the parent type, so no intersection needs to be formed. This could be useful for tracked parameters as well.

Attributes

Source

package.scala

Supertypes

traitStaticAnnotation

classAnnotation

classObject

traitMatchable

classAny

An annotation used internally for root capability wrappers ofcap that represent either Fresh or Result capabilities. A capability is encoded ascaps.cap @rootCapability(...) whererootCapability(...) is a special kind of annotation of typeroot.Annot that contains either a hidden set for Fresh instances or a method type binder for Result instances.

Attributes

Source

package.scala

Supertypes

traitStaticAnnotation

classAnnotation

classObject

traitMatchable

classAny

An erasedValue issued internally by the compiler. Unlike the user-accessible compiletime.erasedValue, this version is assumed to be a pure expression, hence capability safe. The compiler generates this version only where it is known that a value can be generated.

Attributes

Source

package.scala