/*
namespace: Compile
expectation: Pass
input_file: ../inputs/dummy.in
*/

// TODO: This test passes, but constant propogation should detect an overflow.

@program
function main(y: bool) -> i16 {
    let a: i16 = -32768i16;

    return -a; // This line attempts to return 32768i16 however, the largest i16 value is 32767i16.
}