1// errorcheck
2
3// Copyright 2018 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
7package p
8
9func f(x interface{}) {
10	switch x.(type) {
11	}
12
13	switch t := x.(type) { // ERROR "declared and not used"
14	}
15}
16