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