Merge pull request #2122 from dotty-staging/fix-i2086

Fixed #2086: Add tests for issue that has already been fixed.

Author: smarter

tests/neg/i2086a.scala

@@ -0,0 +1,4 @@
+
+object Test { // error: Test cannot be instantiated since it has a member type Foo with possibly conflicting bounds Any <: ... <: Nothing
+  type Foo >: Any <: Nothing
+}

tests/neg/i2086b.scala

@@ -0,0 +1,5 @@
+
+object Test { // error: Test cannot be instantiated since it has a member type Bound with possibly conflicting bounds [Left, Right] => Left <: ... <: [Left, Right] => Right
+  type Bound[Left, Right] >: Left <: Right
+  type Foo = Bound[Any, Nothing]
+}