That's one for @xeno-by again. For some reason, `c.typeCheck` won't throw a `TypecheckException` when a warning is issued despite `-Xfatal-warnings` being set. (This is relevant for use with `illTyped`.)