| // Copyright 2021 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 |
| |
| func instantiated[X any](x *X) int { |
| print(x) |
| return 0 |
| } |
| |
| type I interface { |
| Bar() |
| } |
| |
| func interfaceInstantiated[X I](x X) { |
| x.Bar() |
| } |
| |
| type A struct{} |
| |
| func (a A) Bar() {} |
| |
| type B struct{} |
| |
| func (b B) Bar() {} |
| |
| func Foo(a A, b B) { |
| x := true |
| instantiated[bool](&x) |
| y := 1 |
| instantiated[int](&y) |
| |
| interfaceInstantiated[A](a) |
| interfaceInstantiated[B](b) |
| } |
| |
| // Relevant SSA: |
| //func Foo(a A, b B): |
| // t0 = local A (a) |
| // *t0 = a |
| // t1 = local B (b) |
| // *t1 = b |
| // t2 = new bool (x) |
| // *t2 = true:bool |
| // t3 = instantiated[[bool]](t2) |
| // t4 = new int (y) |
| // *t4 = 1:int |
| // t5 = instantiated[[int]](t4) |
| // t6 = *t0 |
| // t7 = interfaceInstantiated[[testdata.A]](t6) |
| // t8 = *t1 |
| // t9 = interfaceInstantiated[[testdata.B]](t8) |
| // return |
| // |
| //func interfaceInstantiated[[testdata.B]](x B): |
| // t0 = local B (x) |
| // *t0 = x |
| // t1 = *t0 |
| // t2 = (B).Bar(t1) |
| // return |
| // |
| //func interfaceInstantiated[X I](x X): |
| // (external) |
| |
| // WANT: |
| // Foo: instantiated[[bool]](t2) -> instantiated[[bool]]; instantiated[[int]](t4) -> instantiated[[int]]; interfaceInstantiated[[testdata.A]](t6) -> interfaceInstantiated[[testdata.A]]; interfaceInstantiated[[testdata.B]](t8) -> interfaceInstantiated[[testdata.B]] |
| // interfaceInstantiated[[testdata.B]]: (B).Bar(t1) -> B.Bar |
| // interfaceInstantiated[[testdata.A]]: (A).Bar(t1) -> A.Bar |
