These tests compile but shouldn't.
