M156: remove test-case for type safety