From: Robert Griesemer Date: Fri, 19 Aug 2011 16:31:50 +0000 (-0700) Subject: type switches: test for pathological case X-Git-Tag: weekly.2011-09-01~152 X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=fd897ffc68022f436e328acfe47807e0b5ec18dc;p=gostls13.git type switches: test for pathological case R=rsc, r CC=golang-dev https://golang.org/cl/4894057 --- diff --git a/test/typeswitch2.go b/test/typeswitch2.go index f8fe396eae..57c5a18ab2 100644 --- a/test/typeswitch2.go +++ b/test/typeswitch2.go @@ -18,11 +18,27 @@ func whatis(x interface{}) string { return "Reader1" case io.Reader: // ERROR "duplicate" return "Reader2" - case interface { r(); w() }: + case interface { + r() + w() + }: return "rw" - case interface { w(); r() }: // ERROR "duplicate" + case interface { + w() + r() + }: // ERROR "duplicate" return "wr" - + } return "" } + +func notused(x interface{}) { + // The first t is in a different scope than the 2nd t; it cannot + // be accessed (=> declared and not used error); but it is legal + // to declare it. + switch t := 0; t := x.(type) { // ERROR "declared and not used" + case int: + _ = t // this is using the t of "t := x.(type)" + } +}