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 394d88b commit 533dafcCopy full SHA for 533dafc
src/main/scala/progscala3/meta/Invariant1.scala
@@ -10,8 +10,8 @@ object invariant1:
10
* If all predicate checks pass, then return the block's value.
11
*/
12
inline def apply[T]( // <2>
13
- inline predicate: => Boolean)(
14
- inline block: => T): T =
+ inline predicate: Boolean)(
+ inline block: T): T =
15
inline if !ignore then // <3>
16
if !predicate then throw InvariantFailure("before")
17
val result = block
0 commit comments