| // $G $D/$F.go && $L $F.$A && (! ./$A.out || echo BUG: should not succeed) |
| |
| // Copyright 2009 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| package main |
| type I interface { }; |
| func foo1(i int) int { return i } |
| func foo2(i int32) int32 { return i } |
| func main() { |
| var i I; |
| i = 1; |
| var v1 = i.(int); |
| if foo1(v1) != 1 { panicln(1) } |
| var v2 = int32(i.(int)); |
| if foo2(v2) != 1 { panicln(2) } |
| var v3 = i.(int32); // This type conversion should fail at runtime. |
| if foo2(v3) != 1 { panicln(3) } |
| } |
