annotation

class atLeast extends Annotation with StaticAnnotation

When applied on varargs parameter, indicates that at least some number of parameters is required.
When applied on varargs parameter, indicates that at least some number of parameters is required. This is later checked by the static analyzer.
WARNING: implementation of method which takes a varargs parameter may NOT assume that given number of arguments will always be passed, because it's still possible to pass a Seq where varargs parameter is required using the : _* ascription, e.g.
```
varargsMethod(List(): _*)
```
and that is not checked by the static analyzer.
class checkKnownSubtypes[T] extends Annotation with StaticAnnotation

Used in code generated by macros which traverse sealed hierarchies using knownDirectSubclasses.
Used in code generated by macros which traverse sealed hierarchies using knownDirectSubclasses. Allows the static analyzer to determine if knownDirectSubclasses used in macro returned correct result (see SI-7046).
class macroPrivate extends Annotation with StaticAnnotation

Symbols annotated with this annotation can only be used in macro-generated code.