blob: d042482e941c540cd07cf4d05e3c0a3696a9eaec [file] [log] [blame]
// Copyright 2019 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
import "./embed0"
type X1 struct{}
func (X1) Foo() {}
type X2 struct{}
func (X2) foo() {}
type X3 struct{}
func (X3) foo(int) {}
type X4 struct{ p.M1 }
type X5 struct{ p.M1 }
func (X5) foo(int) {}
type X6 struct{ p.M2 }
type X7 struct{ p.M2 }
func (X7) foo() {}
type X8 struct{ p.M2 }
func (X8) foo(int) {}
func main() {
var i1 interface{} = X1{}
check(func() { _ = i1.(p.I1) }, "interface conversion: main.X1 is not p.I1: missing method Foo")
var i2 interface{} = X2{}
check(func() { _ = i2.(p.I2) }, "interface conversion: main.X2 is not p.I2: missing method foo")
var i3 interface{} = X3{}
check(func() { _ = i3.(p.I2) }, "interface conversion: main.X3 is not p.I2: missing method foo")
var i4 interface{} = X4{}
check(func() { _ = i4.(p.I2) }, "interface conversion: main.X4 is not p.I2: missing method foo")
var i5 interface{} = X5{}
check(func() { _ = i5.(p.I2) }, "interface conversion: main.X5 is not p.I2: missing method foo")
var i6 interface{} = X6{}
check(func() { _ = i6.(p.I2) }, "")
var i7 interface{} = X7{}
check(func() { _ = i7.(p.I2) }, "")
var i8 interface{} = X8{}
check(func() { _ = i8.(p.I2) }, "")
}
func check(f func(), msg string) {
defer func() {
v := recover()
if v == nil {
if msg == "" {
return
}
panic("did not panic")
}
got := v.(error).Error()
if msg != got {
panic("want '" + msg + "', got '" + got + "'")
}
}()
f()
}