1// compile
2
3// Copyright 2015 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
7// issue 12413: invalid variable name x in type switch: code would fail
8// to compile if the variable used in the short variable declaration was
9// previously declared as a constant.
10
11package main
12
13func main() {
14	const x = 42
15	switch x := interface{}(nil).(type) {
16	default:
17		_ = x
18	}
19}
20