`Switch` interface assertion is invalid

[1514599514]

The following program sample.go triggers an unexpected result

package main

import (
	"github.com/GoCodeAlone/yaegi/interp"
	"github.com/GoCodeAlone/yaegi/stdlib"
)

const src = `
package main

import (
	"fmt"
)

type User struct {
	Name string
	Age  int
}
	
func printAnyType(arg any) {
	switch arg.(type) {
	case User:
		fmt.Println("User")
	default:
		fmt.Println("unknown")
	}
}

func main() {
	fmt.Println("start eval")
	u := User{Name: "name", Age: 18}
	printAnyType(u)
}
`

func main() {
	i := interp.New(interp.Options{})

	i.Use(stdlib.Symbols)

	_, err := i.Eval(src)
	if err != nil {
		panic(err)
	}
}

Expected result

start eval
User

Got

start eval
unknown

Yaegi Version

v0.17.1

Additional Notes

Only the switch assertion is invalid
The assertion of a regular interface is normal

[1514599514]

The following program sample.go triggers an unexpected result

package main

import (
	"fmt"

	"github.com/GoCodeAlone/yaegi/interp"
	"github.com/GoCodeAlone/yaegi/stdlib"
)

const src = `
package main

import (
	"fmt"
)

type T1 int
type T2 int
	
func printType(arg any) {
	if _, ok := arg.(T1); ok {
		fmt.Println("yaegi print T1")
	} else if _, ok := arg.(T2); ok {
		fmt.Println("yaegi print T2")
	} else {
		fmt.Println("yaegi print unknown")
	}
}

func main() {
	a := T1(1)
	printType(a)

	b := T2(2)
	printType(b)
}
`

type T1 int
type T2 int

func printType(arg any) {
	if _, ok := arg.(T1); ok {
		fmt.Println("print T1")
	} else if _, ok := arg.(T2); ok {
		fmt.Println("print T2")
	} else {
		fmt.Println("print unknown")
	}
}

func main() {
	i := interp.New(interp.Options{})

	i.Use(stdlib.Symbols)

	_, err := i.Eval(src)
	if err != nil {
		panic(err)
	}

	a := T1(1)
	printType(a)

	b := T2(2)
	printType(b)
}

Expected result

yaegi print T1
yaegi print T2
print T1
print T2

Got

yaegi print T1
yaegi print T1
print T1
print T2

Yaegi Version

v0.17.1

Additional Notes

It seems there is a problem with the interface assertion.