test/tint/bug/tint/1713.wgsl.expected.wgsl

const a = (1 << 30u);

const b = (a << 10u);

const c = (5000000000 << 3u);