}
	case *ast.StructType:
		changed := false
		fields := *t.Fields
		fields.List = nil
		for _, f := range t.Fields.List {
			ft := p.rewriteUnsafe(f.Type)
			if ft == f.Type {
				fields.List = append(fields.List, f)
			} else {
				fn := *f
				fn.Type = ft
				fields.List = append(fields.List, &fn)
				changed = true
			}
		}
		if changed {
			r := *t
			r.Fields = &fields

func (recv *T[Q]) concreteMethod(mParam Q) (mResult Q) { return }

type FT[P any] func(ftParam P) (ftResult P)

func F[P any](fParam P) (fResult P){ return }

type I[P any] interface {
	interfaceMethod(P)
}

type R[P any] T[P]

func (R[P]) m() {} // having a method triggers expansion of R

var (
	t T[int]
	ft FT[int]
	f = F[int]
	i I[int]
)

func fn() {

bQLU6CMYIxnrM4OG55U2PVVYvEy3D8QelcFYX0N39f5s+NBfWH+11AO7c9YhTHwL
rc4tYA1+XWOM+GdTcO7gWSg8RokJyPBIrsD1eCPvZ7hNAA7VTTnWL0Dvm/RjBC6h
+Li2xJzNuG01iYtZ8wn0dkKwS3a4mFNM7cYqxvUC0N0NqHGYvCX9YR1p6dV7Bqi/
Q+K7romEz2El3bI356jnUTWa/Bff/ERQikF8/FT/wSboYLQgU3RpYW4gU29pbGFu
ZCA8c3RpYW5Ac29pbGFuZC5ubz6IXAQTEQIAHAUCPU/DKgIbAwQLBwMCAxUCAwMW
AgECHgECF4AACgkQQRBjo6D/0Rl5oQCfV2hozwSf5l4fvRNAW8t18x3u5DgAoILD
iZZ4T/rwIGUVLCIodd5Fk0xmiGQEExECABwFAj1PwyoCGwMECwcDAgMVAgMDFgIB

func (recv *T[Q]) concreteMethod(mParam Q) (mResult Q) { return }

type FT[P any] func(ftParam P) (ftResult P)

func F[P any](fParam P) (fResult P){ return }

type I[P any] interface {
	interfaceMethod(P)
}

type R[P any] T[P]

func (R[P]) m() {} // having a method triggers expansion of R

var (
	t T[int]
	ft FT[int]
	f = F[int]
	i I[int]
)

func fn() {

������Z�q��"�Ɛ(�3��{c>ew�ha���l֮C��BH&�G�/T���*%��^�6�z����}il��i�ō��:F�	,� l�����?v��SuS�r(m�W��C�y��\V��ϵ(�B��,M��~�_2�f���!...