// Copyright 2026 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.

package main

import (
	"reflect"

	"./a"
	"./b"
)

// Comparing two interfaces whose dynamic type the compiler knows is
// compiled to a direct comparison, so compare through a function that has
// to go through the type descriptor at run time.
//
//go:noinline
func eq(x, y any) bool { return x == y }

func main() {
	// main never mentions [2]a.K itself, so the only descriptors for it
	// are the ones in packages a and b.
	_ = a.Sink
	x, y := b.Get(), b.Get()
	if !reflect.TypeOf(x).Comparable() {
		panic("descriptor for [2]a.K has no equality function")
	}
	if !eq(x, y) {
		panic("[2]a.K values compare unequal")
	}
}