add type check tests; crash the compiler!