File Manager

X7ROOT File Manager

Current Path: /opt/golang/1.19.4/src/cmd/compile/internal/types2/testdata/check

opt / golang / 1.19.4 / src / cmd / compile / internal / types2 / testdata / check /

📁 ..
📄 blank.go(203 B)
📄 builtins0.go(23.81 KB)
📄 builtins1.go(5.46 KB)
📄 chans.go(1.66 KB)
📄 compliterals.go(442 B)
📄 const0.go(9.18 KB)
📄 const1.go(8.56 KB)
📄 constdecl.go(3.67 KB)
📄 conversions0.go(1.71 KB)
📄 conversions1.go(5.07 KB)
📄 cycles0.go(2.85 KB)
📄 cycles1.go(781 B)
📄 cycles2.go(1.12 KB)
📄 cycles3.go(675 B)
📄 cycles4.go(2.03 KB)
📄 cycles5.go(2.98 KB)
📄 decls0.go(3.97 KB)
📄 decls1.go(3.6 KB)
📁 decls2
📄 decls3.go(4.24 KB)
📄 decls4.go(3.1 KB)
📄 decls5.go(363 B)
📄 errors.go(2.16 KB)
📄 expr0.go(3.7 KB)
📄 expr1.go(2.61 KB)
📄 expr2.go(4.92 KB)
📄 expr3.go(15.42 KB)
📄 funcinference.go(2.07 KB)
📄 go1_12.go(1.07 KB)
📄 go1_13.go(402 B)
📄 go1_16.go(343 B)
📄 go1_8.go(333 B)
📄 gotos.go(5.77 KB)
📄 importC.go(1.23 KB)
📁 importdecl0
📁 importdecl1
📄 init0.go(1.91 KB)
📄 init1.go(1.46 KB)
📄 init2.go(3.51 KB)
📁 issue25008
📄 issues0.go(11.44 KB)
📄 issues1.go(6.02 KB)
📄 labels.go(3.25 KB)
📄 linalg.go(2.24 KB)
📄 literals.go(2.35 KB)
📄 main0.go(361 B)
📄 main1.go(250 B)
📄 map0.go(2.82 KB)
📄 map1.go(3.4 KB)
📄 methodsets.go(3.44 KB)
📄 shifts.go(12.62 KB)
📄 slices.go(1.51 KB)
📄 stmt0.go(18.68 KB)
📄 stmt1.go(3.31 KB)
📄 typeinference.go(1.38 KB)
📄 typeinst0.go(1.62 KB)
📄 typeinst1.go(5.65 KB)
📄 typeinstcycles.go(384 B)
📄 typeparams.go(15.06 KB)
📄 unions.go(2.15 KB)
📄 vardecl.go(5.47 KB)

Editing: funcinference.go

// 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 funcInference

import "strconv"

type any interface{}

func f0[A any, B interface{*C}, C interface{*D}, D interface{*A}](A, B, C, D) {}
func _() {
	f := f0[string]
	f("a", nil, nil, nil)
	f0("a", nil, nil, nil)
}

func f1[A any, B interface{*A}](A, B) {}
func _() {
	f := f1[int]
	f(int(0), new(int))
	f1(int(0), new(int))
}

func f2[A any, B interface{[]A}](A, B) {}
func _() {
	f := f2[byte]
	f(byte(0), []byte{})
	f2(byte(0), []byte{})
}

// Embedding stand-alone type parameters is not permitted for now. Disabled.
// func f3[A any, B interface{~C}, C interface{~*A}](A, B, C)
// func _() {
// 	f := f3[int]
// 	var x int
// 	f(x, &x, &x)
// 	f3(x, &x, &x)
// }

func f4[A any, B interface{[]C}, C interface{*A}](A, B, C) {}
func _() {
	f := f4[int]
	var x int
	f(x, []*int{}, &x)
	f4(x, []*int{}, &x)
}

func f5[A interface{struct{b B; c C}}, B any, C interface{*B}](x B) A { panic(0) }
func _() {
	x := f5(1.2)
	var _ float64 = x.b
	var _ float64 = *x.c
}

func f6[A any, B interface{~struct{f []A}}](B) A { panic(0) }
func _() {
	x := f6(struct{f []string}{})
	var _ string = x
}

func f7[A interface{*B}, B interface{~*A}]() {}

// More realistic examples

func Double[S interface{ ~[]E }, E interface{ ~int | ~int8 | ~int16 | ~int32 | ~int64 }](s S) S {
	r := make(S, len(s))
	for i, v := range s {
		r[i] = v + v
	}
	return r
}

type MySlice []int

var _ = Double(MySlice{1})

// From the draft design.

type Setter[B any] interface {
	Set(string)
	*B
}

func FromStrings[T interface{}, PT Setter[T]](s []string) []T {
	result := make([]T, len(s))
	for i, v := range s {
		// The type of &result[i] is *T which is in the type set
		// of Setter, so we can convert it to PT.
		p := PT(&result[i])
		// PT has a Set method.
		p.Set(v)
	}
	return result
}

type Settable int

func (p *Settable) Set(s string) {
	i, _ := strconv.Atoi(s) // real code should not ignore the error
	*p = Settable(i)
}

var _ = FromStrings[Settable]([]string{"1", "2"})

X7ROOT File Manager

Editing: funcinference.go

Upload File

Create Folder