c3c/test/test_suite/floats/explicit_float_truncation_needed.c3

func void test()
{
    float x = 0x7FFFFFFFFFFF.0p+400; // #error: The value '3.63419e+134' is out of range for 'float', so you need an explicit cast to truncate the value
}