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.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
This is encountered when working with ScalaTest test set.
trait StringTempl { def mkString: String def mkString(x: String): String } object Test { def (x: String) shouldBe(y: String): Boolean = ??? def test(tmpl: StringTempl): Unit = { tmpl.mkString shouldBe "hello" // error tmpl.mkString(", world") shouldBe "hello, world" } }
The compiler reports an error:
-- [E134] Type Mismatch Error: examples/apply.scala:11:9 ----------------------- 11 | tmpl.mkString shouldBe "hello" | ^^^^^^^^^^^^^ |None of the overloaded alternatives of method mkString in trait StringTempl with types | (x: String): String | => String |match expected type ?{ shouldBe: ? }
The compiler should accept the code without reporting an error.
The text was updated successfully, but these errors were encountered:
8a725f3
Merge pull request #6955 from dotty-staging/fix-#6705
3ae1bc8
Fix #6705: Improve adaptation of overloaded terms
odersky
No branches or pull requests
This is encountered when working with ScalaTest test set.
minimized code
The compiler reports an error:
expectation
The compiler should accept the code without reporting an error.
The text was updated successfully, but these errors were encountered: