The testing library ScalaTest also has a way of checking that a snippet of code
does not compile: pass it in to assertTypeError
.
The testing library ScalaTest also has a way of checking that a snippet of code
does not compile: pass it in to assertTypeError
. What will happen if we combine
illTyped
and assertTypeError
? (Hint: it's like applying a double negative.)
The parameterless execute method has been deprecated and will be removed in a future version of ScalaTest. Please invoke execute with empty parens instead: execute().
The trap method is no longer needed for demos in the REPL, which now abreviates stack traces, and will be removed in a future version of ScalaTest
Testing for non-compilation
Libraries like shapeless which make extensive use of type-level computation and implicit resolution often need to provide guarantees that certain expressions *don't* typecheck. Testing these guarantees is supported in shapeless via the
illTyped
macro,