...
Run Format

Source file test/fixedbugs/bug148.go

Documentation: test/fixedbugs

  // run
  
  // 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 T struct {a, b int};
  
  func println(x, y int) { }
  
  func f(x interface{}) interface{} {
  	type T struct {a, b int};
  
  	if x == nil {
  		return T{2, 3};
  	}
  
  	t := x.(T);
  	println(t.a, t.b);
  	return x;
  }
  
  func main() {
  	inner_T := f(nil);
  	f(inner_T);
  
  	shouldPanic(p1)
  }
  
  func p1() {
  	outer_T := T{5, 7};
  	f(outer_T);
  }
  
  func shouldPanic(f func()) {
  	defer func() {
  		if recover() == nil {
  			panic("function should panic")
  		}
  	}()
  	f()
  }
  
  /*
  This prints:
  
  2 3
  5 7
  
  but it should crash: The type assertion on line 18 should fail
  for the 2nd call to f with outer_T.
  */
  

View as plain text