test that the freestanding subset type-checks