Doc comment RefiningAnnotation class

odersky · odersky · commit 984afeea9543 · 2018-06-07T12:12:16.000+02:00
diff --git a/library/src/scala/annotation/RefiningAnnotation.scala b/library/src/scala/annotation/RefiningAnnotation.scala
@@ -1,3 +1,7 @@
 package scala.annotation
 
+/** A base trait for annotations that yield proper subtypes of the types they annotate.
+ *  Refining annotations are more "sticky" than normal ones. They are conceptually kept
+ *  around when normal refinements would also not be stripped away.
+ */
 trait RefiningAnnotation extends StaticAnnotation
