| // Copyright 2023 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. |
| |
| // go:build ignore |
| |
| package testdata |
| |
| // Test that the values of a named function type are correctly |
| // flowing from interface objects i in i.Foo() to the receiver |
| // parameters of callees of i.Foo(). |
| |
| type H func() |
| |
| func (h H) Do() { |
| h() |
| } |
| |
| type I interface { |
| Do() |
| } |
| |
| func Bar() I { |
| return H(func() {}) |
| } |
| |
| func For(g G) { |
| b := Bar() |
| b.Do() |
| |
| g[0] = b |
| g.Goo() |
| } |
| |
| type G []I |
| |
| func (g G) Goo() { |
| g[0].Do() |
| } |
| |
| // Relevant SSA: |
| // func Bar$1(): |
| // return |
| // |
| // func Bar() I: |
| // t0 = changetype H <- func() (Bar$1) |
| // t1 = make I <- H (t0) |
| // |
| // func For(): |
| // t0 = Bar() |
| // t1 = invoke t0.Do() |
| // t2 = &g[0:int] |
| // *t2 = t0 |
| // t3 = (G).Goo(g) |
| // |
| // func (h H) Do(): |
| // t0 = h() |
| // |
| // func (g G) Goo(): |
| // t0 = &g[0:int] |
| // t1 = *t0 |
| // t2 = invoke t1.Do() |
| |
| // WANT: |
| // For: (G).Goo(g) -> G.Goo; Bar() -> Bar; invoke t0.Do() -> H.Do |
| // H.Do: h() -> Bar$1 |
| // G.Goo: invoke t1.Do() -> H.Do |
