internal

A trait for capabilities representing usage of mutable vars in capture sets.

An annotation to reflect that a parameter or method carries the consume soft modifier.

An annotation on a type indicating that the type was inferred. Added during inlining when we want to mark portions of aotherwise explicit type as inferred.

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.

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.