carbon-lang/executable_semantics/testdata/pattern_variable_fail.golden

********** source program **********
fn main () -> Int {
Int: x;
return 1;

}
********** type checking **********
--- step exp Int --->
--- step exp Int --->
6: compilation error, pattern variables are only allowed in pattern context
EXIT CODE: 255