| 12345678910111213141516171819 |
- // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
- // Exceptions. See /LICENSE for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- // RUN: executable_semantics %s 2>&1 | \
- // RUN: FileCheck --match-full-lines --allow-unused-prefixes=false %s
- // RUN: executable_semantics --trace %s 2>&1 | \
- // RUN: FileCheck --match-full-lines --allow-unused-prefixes %s
- // AUTOUPDATE: executable_semantics %s
- // CHECK: result: 0
- package ExecutableSemanticsTest api;
- fn main() -> i32 {
- var x: i32 = (1);
- var t2: (i32,i32) = (5, 2);
- t2[0] = 3;
- return t2[0] - t2[1] - x;
- }
|