Tests for type conversion elimination.