// Copyright 2023 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 F func()

func set[T [1]F | [2]F](arr *T, i int) {
	// Indexes into a pointer to an indexable type T and T does not have a coretype.
	// SSA instruction:	t0 = &arr[i]
	(*arr)[i] = bar
}

func bar() {
	print("here")
}

func Foo() {
	var arr [1]F
	set(&arr, 0)
	arr[0]()
}

// WANT:
// Foo: set[[1]testdata.F](t0, 0:int) -> set[[1]testdata.F]; t3() -> bar