// 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

choice SomeChoice(T:! type) {
    Val1,
    Val2(a: i32, b: array(T, 5), t: T),
    Val3
}
