// Copyright 2020 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package generics

func _[A, B any](a A, b B) int {}
func _[T any](x, y T) T

type T[P any] struct{}
type T[P1, P2, P3 any] struct{}

type T[P C] struct{}
type T[P1, P2, P3 C] struct{}

type T[P C[P]] struct{}
type T[P1, P2, P3 C[P1, P2, P3]] struct{}

func f[P any](x P)

// Copyright 2020 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package generics

func _[A, B any](a A, b B) int	{}
func _[T any](x, y T) T

type T[P any] struct{}
type T[P1, P2, P3 any] struct{}

type T[P C] struct{}
type T[P1, P2, P3 C] struct{}

type T[P C[P]] struct{}
type T[P1, P2, P3 C[P1, P2, P3]] struct{}

func f[P any](x P)

// Copyright 2021 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Package generics contains the new syntax supporting generic programming in
// Go.
package generics

// Variables with an instantiated type should be shown.
var X Type[int]

// Parameterized types should be shown.
type Type[P any] struct {
	Field P
}

// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// This file is used to generate an object file which
// serves as test file for gcimporter_test.go.

package generics

type Any any

var x any

type T[A, B any] struct {
	Left  A
	Right B
}

var X T[int, string] = T[int, string]{1, "hi"}

func ToInt[P interface{ ~int }](p P) int { return int(p) }

// Package generics contains the new syntax supporting generic ...
PACKAGE generics

IMPORTPATH
	testdata/generics

FILENAMES
	testdata/generics.go

FUNCTIONS
	// AnotherFunc has an implicit constraint interface.  Neither type ...
	func AnotherFunc[T ~struct{ f int }](_ struct{ f int })

	// Func has an instantiated constraint. 
	func Func[T Constraint[string, Type[int]]]()

	// Single is not a factory function. 

// Package generics contains the new syntax supporting generic ...
PACKAGE generics

IMPORTPATH
	testdata/generics

FILENAMES
	testdata/generics.go

FUNCTIONS
	// AnotherFunc has an implicit constraint interface.  Neither type ...
	func AnotherFunc[T ~struct{ f int }](_ struct{ f int })

	// Func has an instantiated constraint. 
	func Func[T Constraint[string, Type[int]]]()

	// Single is not a factory function. 

// Package generics contains the new syntax supporting generic ...
PACKAGE generics

IMPORTPATH
	testdata/generics

FILENAMES
	testdata/generics.go

FUNCTIONS
	// AnotherFunc has an implicit constraint interface.  Neither type ...
	func AnotherFunc[T ~struct{ f int }](_ struct{ f int })

	// Func has an instantiated constraint. 
	func Func[T Constraint[string, Type[int]]]()

	// Single is not a factory function. 

go mod download -json example.com/generics
stdout '"GoModSum":'
go list -f '{{if eq .ImportPath "example.com/generics"}}{{.Module.GoVersion}}{{end}}' -deps -test example.com/m2/q
stdout 1.18


# At go 1.20 or earlier, 'go mod tidy' should preserve the historical go.sum

example.com/depends/on/generics v1.0.0
written by hand

-- .mod --
module example.com/depends/on/generics

go 1.18

require example.com/generics v1.0.0
-- .info --
{"Version":"v1.0.0"}
-- go.mod --
module example.com/depends/on/generics

go 1.18

require example.com/generics v1.0.0
-- main.go --
package main

import "example.com/generics"

example.com/generics v1.0.0
written by hand

-- .mod --
module example.com/generics

go 1.18
-- .info --
{"Version":"v1.0.0"}
-- go.mod --
module example.com/generics

go 1.18
-- generics.go --
package generics

type Int interface {
	~int
}