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.
Should S[-1] work and if yes (as it currently is) how should we handle the following? (now it doesn't type check).
S[-1]
val t1: scala.compiletime.S[-1] = 0 // OK val t2: scala.compiletime.S[Int] = 1 // OK val t3: scala.compiletime.S[Int] = 0 // this is an error now