```scala class C { def f(x: Int): Unit = () val f: String => Unit = s => () f("a") } ``` The above code is compiled in scalac but results the following error in dotc. ```scala -- [E007] Type Mismatch Error: ../B.scala:4:4 ---------------------------------- 4 | f("a") | ^^^ | found: String("a") | required: Int | one error found ``` Is it an intended semantics of dotty?