1
0
mirror of https://github.com/golang/go synced 2024-11-26 17:07:09 -07:00
go/test/fixedbugs/bug113.go
Russ Cox 49e2087848 insert type assertions when narrowing.
R=r
OCL=24349
CL=24913
2009-02-11 17:55:16 -08:00

21 lines
598 B
Go

// $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) }
}