// 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 = new bool (x)
//  *t0 = true:bool
//  t1 = instantiated[bool](t2)
//  t1 = new int (y)
//  *t2 = 1:int
//  t3 = instantiated[[int]](t4)
//  t4 = interfaceInstantiated[testdata.A](a)
//  t5 = interfaceInstantiated[testdata.B](b)
//  return
//
//func interfaceInstantiated[[testdata.B]](x B):
//  t0 = (B).Bar(b)
//  return
//
//func interfaceInstantiated[X I](x X):
//        (external)

// WANT:
// Foo: instantiated[bool](t0) -> instantiated[bool]; instantiated[int](t2) -> instantiated[int]; interfaceInstantiated[testdata.A](a) -> interfaceInstantiated[testdata.A]; interfaceInstantiated[testdata.B](b) -> interfaceInstantiated[testdata.B]
// interfaceInstantiated[testdata.B]: (B).Bar(x) -> B.Bar
// interfaceInstantiated[testdata.A]: (A).Bar(x) -> A.Bar