Add files via upload

Decel · Decel · commit 0663ba809375 · 2023-04-24T11:10:49.000+02:00
fixed tests
diff --git a/tests/neg/i17168.scala b/tests/neg/i17168.scala
@@ -0,0 +1,3 @@
+type F[X <: String] = X
+
+val a = summon[F[Int] =:= Int] // error
diff --git a/tests/pos/i13332super.scala b/tests/pos/i13332super.scala
diff --git a/tests/run/anon-mirror-gen-local.scala b/tests/run/anon-mirror-gen-local.scala
@@ -55,7 +55,7 @@ class Outer5 { self =>
     }
   }
 
-  lazy val o = new Outer5() // infinite init
+  final lazy val o = new Outer5() // infinite init
 
 }
 
diff --git a/tests/run/i13332a.scala b/tests/run/i13332a.scala
@@ -150,7 +150,7 @@ class SubUniverse extends Universe {
 
 trait Whole {
   trait MixinA {
-    lazy val mixinB = new MixinB() {}
+    final lazy val mixinB = new MixinB() {}
   }
   trait MixinB {
     object A extends MixinB { // by inheriting `MixinB`, we should not check for inheritance from the right

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ class Outer5 { self =>`
`55`	`55`	`}`
`56`	`56`	`}`
`57`	`57`
`58`		`- lazy val o = new Outer5() // infinite init`
	`58`	`+ final lazy val o = new Outer5() // infinite init`
`59`	`59`
`60`	`60`	`}`
`61`	`61`
Original file line number	Diff line number	Diff line change
`@@ -150,7 +150,7 @@ class SubUniverse extends Universe {`
`150`	`150`
`151`	`151`	`trait Whole {`
`152`	`152`	`trait MixinA {`
`153`		`- lazy val mixinB = new MixinB() {}`
	`153`	`+ final lazy val mixinB = new MixinB() {}`
`154`	`154`	`}`
`155`	`155`	`trait MixinB {`
`156`	`156`	object A extends MixinB { // by inheriting `MixinB`, we should not check for inheritance from the right