// license that can be found in the LICENSE file.

// Composite literals with parameterized types

package comp_literals

type myStruct struct {
	f int
}

type slice[E any] []E

func struct_literals[S struct{f int}|myStruct]() {
	_ = S{}
	_ = S{0}
	_ = S{f: 0}

        _ = slice[int]{1, 2, 3}
        _ = slice[S]{{}, {0}, {f:0}}

	var g func(*T) = (*T).m
	_, _ = f, g

	_ = T.y /* ERROR "has no method" */
	_ = (*T).y /* ERROR "has no method" */
}

func struct_literals() {
	type T0 struct {
		a, b, c int
	}

	type T1 struct {
		T0
		a, b int
		u float64
		s string
	}

	// keyed elements
	_ = T1{}