Testing an assertion that something must not compile

Question

The problem

When I\'m working with libraries that support type-level programming, I often find myself writing comments like the following (from an example presente

Answer 1

ScalaTest 2.1.0 has the following syntax for Assertions:

assertTypeError("val s: String = 1")

And for Matchers:

"val s: String = 1" shouldNot compile