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

The compileError macro in µTest does just that:

compileError("true * false")
// CompileError.Type("value * is not a member of Boolean")

compileError("(}")
// CompileError.Parse("')' expected but '}' found.")