// 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 Y interface {
	Foo()
	Bar(float64)
}

type Z Y

type W interface {
	Y
}

type A struct{}

func (a A) Foo()          { print("A:Foo") }
func (a A) Bar(f float64) { print(uint(f)) }

type B struct{}

func (b B) Foo()          { print("B:Foo") }
func (b B) Bar(f float64) { print(uint(f) + 1) }

type X interface {
	Foo()
}

func Baz(y Y) {
	z := Z(y)
	z.Foo()

	x := X(y)
	x.Foo()

	y = A{}
	var y_p *Y = &y

	w_p := (*W)(y_p)
	*w_p = B{}

	(*y_p).Foo() // prints B:Foo
	(*w_p).Foo() // prints B:Foo
}

// Relevant SSA:
//  func Baz(y Y):
//   t0 = new Y (y)
//   *t0 = y
//   t1 = *t0
//   t2 = changetype Z <- Y (t1)
//   t3 = invoke t2.Foo()
//
//   t4 = *t0
//   t5 = change interface X <- Y (t4)
//   t6 = invoke t5.Foo()
//
//   t7 = local A (complit)
//   t8 = *t7
//   t9 = make Y <- A (t8)
//   *t0 = t9
//   t10 = changetype *W <- *Y (t0)
//   t11 = local B (complit)
//   t12 = *t11
//   t13 = make W <- B (t12)
//   *t10 = t13
//   t14 = *t0
//   t15 = invoke t14.Foo()
//   t16 = *t10
//   t17 = invoke t16.Foo()
//   return

// WANT:
// Local(t1) -> Local(t2)
// Local(t4) -> Local(t5)
// Local(t0) -> Local(t1), Local(t10), Local(t14), Local(t4)
// Local(y) -> Local(t0)
// Local(t8) -> Local(t9)
// Local(t9) -> Local(t0)
// Local(t13) -> Local(t10)