// REQUIRED_ARGS: -de

void main() {
    ulong u = cast(ulong)[1,2];
}