Subtyping considers that a `{ def foo: T }` refinement is valid for `{ val foo: T }`

[sjrd]

Compiler version

3.3.0

Scala 2.13.11 does the right thing.

Minimized code

def foo(x: Any { def foo: Int }): Any { val foo: Int } = x

Output

Compiles

Expectation

Should not compile. Scala 2.13.11 reports:

scala> def foo(x: Any { def foo: Int }): Any { val foo: Int } = x
                                                                ^
       error: type mismatch;
        found   : Any{def foo: Int}
        required: Any{val foo: Int}