Add test for uncheckedVariance in hk types

odersky · odersky · commit a96c5a3acb5a · 2019-02-09T13:26:49.000+01:00
diff --git a/tests/pos/covaraint-opqaue.scala b/tests/pos/covaraint-opqaue.scala
@@ -0,0 +1,3 @@
+import annotation.unchecked.uncheckedVariance
+
+opaque type O[+T] = Array[T @uncheckedVariance]

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+import annotation.unchecked.uncheckedVariance`
	`2`	`+`
	`3`	`+opaque type O[+T] = Array[T @uncheckedVariance]`