#![deny(overflowing_literals)]

fn main() {
    // Valid cases - should suggest char literal

    // u8 range (0-255)
    const VALID_U8_1: char = 0x41 as char; // 'A'
    const VALID_U8_2: char = 0xFF as char; // maximum u8
    const VALID_U8_3: char = 0x00 as char; // minimum u8

    // Valid Unicode in lower range [0x0, 0xD7FF]
    const VALID_LOW_1: char = 0x1000 as char; // 4096
    //~^ ERROR: only `u8` can be cast into `char`
    const VALID_LOW_2: char = 0xD7FF as char; // last valid in lower range
    //~^ ERROR: only `u8` can be cast into `char`
    const VALID_LOW_3: char = 0x0500 as char; // cyrillic range
    //~^ ERROR: only `u8` can be cast into `char`

    // Valid Unicode in upper range [0xE000, 0x10FFFF]
    const VALID_HIGH_1: char = 0xE000 as char; // first valid in upper range
    //~^ ERROR only `u8` can be cast into `char`
    const VALID_HIGH_2: char = 0x1F888 as char; // 129160 - example from issue
    //~^ ERROR only `u8` can be cast into `char`
    const VALID_HIGH_3: char = 0x10FFFF as char; // maximum valid Unicode
    //~^ ERROR only `u8` can be cast into `char`
    const VALID_HIGH_4: char = 0xFFFD as char; // replacement character
    //~^ ERROR only `u8` can be cast into `char`
    const VALID_HIGH_5: char = 0x1F600 as char; // emoji
    //~^ ERROR only `u8` can be cast into `char`

    // Invalid cases - should show InvalidCharCast

    // Surrogate range [0xD800, 0xDFFF] - reserved for UTF-16
    const INVALID_SURROGATE_1: char = 0xD800 as char; // first surrogate
    //~^ ERROR: surrogate values are not valid
    const INVALID_SURROGATE_2: char = 0xDFFF as char; // last surrogate
    //~^ ERROR: surrogate values are not valid
    const INVALID_SURROGATE_3: char = 0xDB00 as char; // middle of surrogate range
    //~^ ERROR: surrogate values are not valid

    // Too large values (> 0x10FFFF)
    const INVALID_TOO_BIG_1: char = 0x110000 as char; // one more than maximum
    //~^ ERROR: value exceeds maximum `char` value
    const INVALID_TOO_BIG_2: char = 0xEF8888 as char; // example from issue
    //~^ ERROR: value exceeds maximum `char` value
    const INVALID_TOO_BIG_3: char = 0x1FFFFF as char; // much larger
    //~^ ERROR: value exceeds maximum `char` value
    const INVALID_TOO_BIG_4: char = 0xFFFFFF as char; // 24-bit maximum
    //~^ ERROR: value exceeds maximum `char` value

    // Boundary cases
    const BOUNDARY_1: char = 0xD7FE as char; // valid, before surrogate
    //~^ ERROR only `u8` can be cast into `char`
    const BOUNDARY_2: char = 0xE001 as char; // valid, after surrogate
    //~^ ERROR only `u8` can be cast into `char`
    const BOUNDARY_3: char = 0x10FFFE as char; // valid, near maximum
    //~^ ERROR only `u8` can be cast into `char`
}