SI-7694 Add @uncheckedBounds to the library

Followup to the previous commit that added the compiler support
for opting out of bounds checking.

With both pieces, we can test that the temporaries introduced
by the named/default arguments transform don't trigger bounds
violations.

1 files changed, 13 insertions, 0 deletions

diff --git a/src/reflect/scala/reflect/internal/annotations/uncheckedBounds.scala b/src/reflect/scala/reflect/internal/annotations/uncheckedBounds.scala
new file mode 100644
index 0000000000..a44bb54734
--- /dev/null
+++ b/src/reflect/scala/reflect/internal/annotations/uncheckedBounds.scala
@@ -0,0 +1,13 @@
+package scala.reflect
+package internal
+package annotations
+
+/**
+ * An annotation that designates the annotated type should not be checked for violations of
+ * type parameter bounds in the `refchecks` phase of the compiler. This can be used by synthesized
+ * code the uses an inferred type of an expression as the type of an artifict val/def (for example,
+ * a temporary value introduced by an ANF transform). See [[https://issues.scala-lang.org/browse/SI-7694]].
+ *
+ * @since  2.10.3
+ */
+final class uncheckedBounds extends scala.annotation.StaticAnnotation