> setup; reload

> compile
> checkWarnings 1
> checkWarning 0 "fruitless type test"
