test for recursive type checking not crashing