internal

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.

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 annotation used internally for root capability wrappers of cap that represent either Fresh or Result capabilities. A capability is encoded as caps.cap @rootCapability(...) where rootCapability(...) is a special kind of annotation of type root.Annot that contains either a hidden set for Fresh instances or a method type binder for Result instances.