1// compile
2
3// Copyright 2009 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
7package main
8
9type	I1	interface {}
10type	I2	interface { pr() }
11
12func	e()	I1;
13
14var	i1	I1;
15var	i2	I2;
16
17func
18main() {
19
20	i2 = e().(I2);	// bug089.go:16: fatal error: agen_inter i2i
21}
22