1Tests for type conversion elimination.
2