2012-02-16 21:49:59 -07:00
|
|
|
// run
|
2010-07-15 17:42:32 -06:00
|
|
|
|
2016-04-10 15:32:26 -06:00
|
|
|
// Copyright 2010 The Go Authors. All rights reserved.
|
2010-07-15 17:42:32 -06:00
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
2015-07-10 17:17:11 -06:00
|
|
|
// https://golang.org/issue/800
|
2010-07-15 17:42:32 -06:00
|
|
|
|
|
|
|
package main
|
|
|
|
|
|
|
|
var log string
|
|
|
|
|
|
|
|
type T int
|
|
|
|
|
|
|
|
func (t T) a(s string) T {
|
|
|
|
log += "a(" + s + ")"
|
|
|
|
return t
|
|
|
|
}
|
|
|
|
|
|
|
|
func (T) b(s string) string {
|
|
|
|
log += "b"
|
|
|
|
return s
|
|
|
|
}
|
|
|
|
|
|
|
|
type F func(s string) F
|
|
|
|
|
|
|
|
func a(s string) F {
|
|
|
|
log += "a(" + s + ")"
|
|
|
|
return F(a)
|
|
|
|
}
|
|
|
|
|
|
|
|
func b(s string) string {
|
|
|
|
log += "b"
|
|
|
|
return s
|
|
|
|
}
|
|
|
|
|
|
|
|
type I interface {
|
|
|
|
a(s string) I
|
|
|
|
b(s string) string
|
|
|
|
}
|
|
|
|
|
|
|
|
type T1 int
|
|
|
|
|
|
|
|
func (t T1) a(s string) I {
|
|
|
|
log += "a(" + s + ")"
|
|
|
|
return t
|
|
|
|
}
|
|
|
|
|
|
|
|
func (T1) b(s string) string {
|
|
|
|
log += "b"
|
|
|
|
return s
|
|
|
|
}
|
|
|
|
|
|
|
|
var ok = true
|
|
|
|
|
|
|
|
func bad() {
|
|
|
|
if !ok {
|
|
|
|
println("BUG")
|
|
|
|
ok = false
|
|
|
|
}
|
|
|
|
println(log)
|
|
|
|
}
|
|
|
|
|
|
|
|
func main() {
|
|
|
|
var t T
|
|
|
|
if t.a("1").a(t.b("2")); log != "a(1)ba(2)" {
|
|
|
|
bad()
|
|
|
|
}
|
|
|
|
log = ""
|
|
|
|
if a("3")(b("4"))(b("5")); log != "a(3)ba(4)ba(5)" {
|
|
|
|
bad()
|
|
|
|
}
|
|
|
|
log = ""
|
|
|
|
var i I = T1(0)
|
|
|
|
if i.a("6").a(i.b("7")).a(i.b("8")).a(i.b("9")); log != "a(6)ba(7)ba(8)ba(9)" {
|
|
|
|
bad()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|