We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ff95503 commit 70f5d93Copy full SHA for 70f5d93
tests/pos/t0273.scala
@@ -2,6 +2,6 @@ class A
2
3
object Test {
4
def a = () => ()
5
-def a[T] = (p:A) => () // error
+def a[T] = (p:A) => ()
6
def main(args: Array[String]) = ()
7
}
tests/pos/t1279a.scala
@@ -4,7 +4,7 @@ abstract class M {
type T
final type selfType = M {type T <: self.T}
- type actualSelfType >: self.type <: selfType // error: this no longer compiles because self.type is not a subtype of selfType
+ type actualSelfType >: self.type <: selfType
8
9
def next: selfType
10
0 commit comments