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 2bfab9e commit 54e9eefCopy full SHA for 54e9eef
tests/run/i12170.scala
@@ -1,7 +1,7 @@
1
import scala.compiletime.error
2
3
object BadFilters:
4
- def withFilter(f: Int => Boolean): BadFilters.type = ???//error("Unexpected withFilter call")
+ inline def withFilter(f: Int => Boolean): BadFilters.type = error("Unexpected withFilter call")
5
def foreach(f: Int => Unit): Unit = f(42)
6
7
@main def Test =
0 commit comments