We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In the following example, I would expect a message Found hole with type: Char => Boolean, but there is none.
Found hole with type: Char => Boolean
object Test { def foo(x: String): Boolean = x.exists(???) }
The text was updated successfully, but these errors were encountered:
Yeah, the plugin works by pattern matching on trees, and the list of patterns is pretty ad-hoc. This feels like a useful one to add.
Sorry, something went wrong.
Successfully merging a pull request may close this issue.
In the following example, I would expect a message
Found hole with type: Char => Boolean
, but there is none.The text was updated successfully, but these errors were encountered: