// 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