1// See http://b/2071670
2
3int main() {
4    float f = 10.0f;
5    float* floatPointer = &f;
6    // The following line used to incorrectly error: "Incompatible pointer or array types"
7    int* buffer = (int*) floatPointer;
8    return *buffer;
9}
10