Incorrect relations between interfaces can cause realm panics (cont.)

[Kouteki]

Description

After merging #4861 a new issue is introduced, because it compares only the number of functions in the types rather than matching their names precisely.

Example: https://gist.github.com/kirillt/5fa37c1fa85b1654adace34724ebff25

[ltzmaxwell]

this is what it behaves in master, seems not a bug, nor related to #4861:

package main

type A interface {
	F()
}

type B interface {
	X()
	G()
}

type T struct{}

func (T) F() {}

func (T) G() {}

func (T) X() {}

func main() {
	var a A = T{}
	var b B = T{}

	println(b == a)
	println(a == b)
}

// Error:
// main/cmp_iface_9.gno:24:10-16: main.B does not implement main.A (missing method F)

[Kouteki]

I reached out to the issue reporter to confirm