Use @uncheckedBounds to avoid introducing refchecks errors

... in code that would otherwise have smuggled through these
slack LUBs in the types of trees but never in a TypeTree.

More details in SI-7694.

Fixes #29

1 files changed, 8 insertions, 1 deletions

diff --git a/src/test/scala/scala/async/run/toughtype/ToughType.scala b/src/test/scala/scala/async/run/toughtype/ToughType.scala
index 202a288..b342a00 100644
--- a/src/test/scala/scala/async/run/toughtype/ToughType.scala
+++ b/src/test/scala/scala/async/run/toughtype/ToughType.scala
@@ -10,7 +10,7 @@ import language.{reflectiveCalls, postfixOps}
 import scala.concurrent._
 import scala.concurrent.duration._
 import scala.async.Async._
-import org.junit.Test
+import org.junit.{Assert, Test}
 import scala.async.internal.AsyncId
 
 
@@ -136,3 +136,10 @@ class ToughTypeSpec {
     foo
   }
 }
+
+trait A
+trait B
+
+trait L[A2, B2 <: A2] {
+  def bar(a: Any, b: Any) = 0
+}