One last batch of test cleanups and I think I'l...

One last batch of test cleanups and I think I'll call it a day. If
you're worried I didn't leave any for anyone else, let me put your fears
to rest. PLENTY left to sift through. No review.

1 files changed, 6 insertions, 0 deletions

diff --git a/test/files/neg/t0513.scala b/test/files/neg/t0513.scala
new file mode 100644
index 0000000000..0193483cab
--- /dev/null
+++ b/test/files/neg/t0513.scala
@@ -0,0 +1,6 @@
+object Test {
+    case class Y[T1, T2 <: T1]()
+    //val test = Y[Nothing, Int]  // Compiler error
+    case class Test[T]()
+    val test2 = Test[Y[Nothing, Int]]  // No error
+}