// A generic struct used as the default value of an interface-typed field inside
// a generic wrapper must monomorphize with the wrapper's type argument, instead
// of leaving the type parameter unresolved (`Text_T_T`). The leftover generic
// variant must also not pollute the interface's auto-generated str().
// See issue #27550.
interface Tag {
	tag() string
}

struct Text[T] {
	val T
}

fn (t Text[T]) tag() string {
	return 'text'
}

struct Wrapper[T] {
	tag Tag = Text[T]{}
}

fn test_generic_struct_default_interface_field() {
	w := Wrapper[int]{}
	assert w.tag.tag() == 'text'
	// stringifying the wrapper exercises the interface variant auto-str dispatch
	s := w.str()
	assert s.contains('Text[int]{')
	assert s.contains('val: 0')
}