When applied on varargs parameter, indicates that at least some number of parameters is required.
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).
Symbols annotated with this annotation can only be used in macro-generated code.
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.