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

type I interface {
	Foo() string
}

type J interface {
	Foo() string
	Bar()
}

type B struct {
	p string
}

func (b B) Foo() string { return b.p }
func (b B) Bar()        {}

func Baz(m map[I]I, b1, b2 B, n map[string]*J) *J {
	m[b1] = b2

	return n[b1.Foo()]
}

// Relevant SSA:
// func Baz(m map[I]I, b1 B, b2 B, n map[string]*J) *J:
//   t0 = make I <- B (b1)
//   t1 = make I <- B (b2)
//   m[t0] = t1
//   t2 = (B).Foo(b1)
//   t3 = n[t2]
//   return t3

// WANT:
// Local(b2) -> Local(t1)
// Local(t1) -> MapValue(testdata.I)
// Local(t0) -> MapKey(testdata.I)
// Local(t3) -> MapValue(*testdata.J)
// MapValue(*testdata.J) -> Local(t3)