File Manager

✏️ /

// Code generated by "go test -run=Generate -write=all"; DO NOT EDIT.

// Copyright 2011 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 types

// under returns the true expanded underlying type.
// If it doesn't exist, the result is Typ[Invalid].
// under must only be called when a type is known
// to be fully set up.
func under(t Type) Type {
	if t := asNamed(t); t != nil {
		return t.under()
	}
	return t.Underlying()
}

// If t is not a type parameter, coreType returns the underlying type.
// If t is a type parameter, coreType returns the single underlying
// type of all types in its type set if it exists, or nil otherwise. If the
// type set contains only unrestricted and restricted channel types (with
// identical element types), the single underlying type is the restricted
// channel type if the restrictions are always the same, or nil otherwise.
func coreType(t Type) Type {
	tpar, _ := t.(*TypeParam)
	if tpar == nil {
		return under(t)
	}

var su Type
	if tpar.underIs(func(u Type) bool {
		if u == nil {
			return false
		}
		if su != nil {
			u = match(su, u)
			if u == nil {
				return false
			}
		}
		// su == nil || match(su, u) != nil
		su = u
		return true
	}) {
		return su
	}
	return nil
}

// coreString is like coreType but also considers []byte
// and strings as identical. In this case, if successful and we saw
// a string, the result is of type (possibly untyped) string.
func coreString(t Type) Type {
	tpar, _ := t.(*TypeParam)
	if tpar == nil {
		return under(t) // string or untyped string
	}

var su Type
	hasString := false
	if tpar.underIs(func(u Type) bool {
		if u == nil {
			return false
		}
		if isString(u) {
			u = NewSlice(universeByte)
			hasString = true
		}
		if su != nil {
			u = match(su, u)
			if u == nil {
				return false
			}
		}
		// su == nil || match(su, u) != nil
		su = u
		return true
	}) {
		if hasString {
			return Typ[String]
		}
		return su
	}
	return nil
}

// If x and y are identical, match returns x.
// If x and y are identical channels but for their direction
// and one of them is unrestricted, match returns the channel
// with the restricted direction.
// In all other cases, match returns nil.
func match(x, y Type) Type {
	// Common case: we don't have channels.
	if Identical(x, y) {
		return x
	}

// We may have channels that differ in direction only.
	if x, _ := x.(*Chan); x != nil {
		if y, _ := y.(*Chan); y != nil && Identical(x.elem, y.elem) {
			// We have channels that differ in direction only.
			// If there's an unrestricted channel, select the restricted one.
			switch {
			case x.dir == SendRecv:
				return y
			case y.dir == SendRecv:
				return x
			}
		}
	}

// types are different
	return nil
}

Batal

⬅ go 97 item

Nama	Tipe	Ukuran	Diubah	Aksi
📁testdata	dir	—	2024-02-02 18:09	📂 Buka
🔵alias.go	go	2.2 KB	2024-02-02 18:09	✏️ 👁️
🔵api.go	go	16.5 KB	2024-02-02 18:09	✏️ 👁️
🔵api_predicates.go	go	2.8 KB	2024-02-02 18:09	✏️ 👁️
🔵api_test.go	go	90.4 KB	2024-02-02 18:09	✏️ 👁️
🔵array.go	go	873 B	2024-02-02 18:09	✏️ 👁️
🔵assignments.go	go	16 KB	2024-02-02 18:09	✏️ 👁️
🔵basic.go	go	1.6 KB	2024-02-02 18:09	✏️ 👁️
🔵builtins.go	go	27.1 KB	2024-02-02 18:09	✏️ 👁️
🔵builtins_test.go	go	10.8 KB	2024-02-02 18:09	✏️ 👁️
🔵call.go	go	34.1 KB	2024-02-02 18:09	✏️ 👁️
🔵chan.go	go	980 B	2024-02-02 18:09	✏️ 👁️
🔵check.go	go	20.6 KB	2024-02-02 18:09	✏️ 👁️
🔵check_test.go	go	14.1 KB	2024-02-02 18:09	✏️ 👁️
🔵commentMap_test.go	go	3 KB	2024-02-02 18:09	✏️ 👁️
🔵const.go	go	7.5 KB	2024-02-02 18:09	✏️ 👁️
🔵context.go	go	4.4 KB	2024-02-02 18:09	✏️ 👁️
🔵context_test.go	go	2.4 KB	2024-02-02 18:09	✏️ 👁️
🔵conversions.go	go	8.8 KB	2024-02-02 18:09	✏️ 👁️
🔵decl.go	go	30 KB	2024-02-02 18:09	✏️ 👁️
🔵errorcalls_test.go	go	2.2 KB	2024-02-02 18:09	✏️ 👁️
🔵errors.go	go	9.8 KB	2024-02-02 18:09	✏️ 👁️
🔵errors_test.go	go	1002 B	2024-02-02 18:09	✏️ 👁️
🔵eval.go	go	3.1 KB	2024-02-02 18:09	✏️ 👁️
🔵eval_test.go	go	7.1 KB	2024-02-02 18:09	✏️ 👁️
🔵example_test.go	go	8.9 KB	2024-02-02 18:09	✏️ 👁️
🔵expr.go	go	48.7 KB	2024-02-02 18:09	✏️ 👁️
🔵exprstring.go	go	4.8 KB	2024-02-02 18:09	✏️ 👁️
🔵exprstring_test.go	go	2.5 KB	2024-02-02 18:09	✏️ 👁️
🔵gccgosizes.go	go	1.1 KB	2024-02-02 18:09	✏️ 👁️
🔵gcsizes.go	go	4.3 KB	2024-02-02 18:09	✏️ 👁️
🔵generate.go	go	269 B	2024-02-02 18:09	✏️ 👁️
🔵generate_test.go	go	11.8 KB	2024-02-02 18:09	✏️ 👁️
🔵gotype.go	go	8.3 KB	2024-02-02 18:09	✏️ 👁️
🔵hilbert_test.go	go	3.4 KB	2024-02-02 18:09	✏️ 👁️
🔵index.go	go	11.2 KB	2024-02-02 18:09	✏️ 👁️
🔵infer.go	go	26.2 KB	2024-02-02 18:09	✏️ 👁️
🔵initorder.go	go	9.7 KB	2024-02-02 18:09	✏️ 👁️
🔵instantiate.go	go	12 KB	2024-02-02 18:09	✏️ 👁️
🔵instantiate_test.go	go	5.9 KB	2024-02-02 18:09	✏️ 👁️
🔵interface.go	go	8.1 KB	2024-02-02 18:09	✏️ 👁️
🔵issues_test.go	go	28.1 KB	2024-02-02 18:09	✏️ 👁️
🔵labels.go	go	7.2 KB	2024-02-02 18:09	✏️ 👁️
🔵lookup.go	go	19.7 KB	2024-02-02 18:09	✏️ 👁️
🔵lookup_test.go	go	1.2 KB	2024-02-02 18:09	✏️ 👁️
🔵main_test.go	go	406 B	2024-02-02 18:09	✏️ 👁️
🔵map.go	go	729 B	2024-02-02 18:09	✏️ 👁️
🔵methodset.go	go	7.1 KB	2024-02-02 18:09	✏️ 👁️
🔵methodset_test.go	go	6.7 KB	2024-02-02 18:09	✏️ 👁️
🔵mono.go	go	9.1 KB	2024-02-02 18:09	✏️ 👁️
🔵mono_test.go	go	2.5 KB	2024-02-02 18:09	✏️ 👁️
🔵named.go	go	22.7 KB	2024-02-02 18:09	✏️ 👁️
🔵named_test.go	go	2.6 KB	2024-02-02 18:09	✏️ 👁️
🔵object.go	go	19 KB	2024-02-02 18:09	✏️ 👁️
🔵object_test.go	go	5 KB	2024-02-02 18:09	✏️ 👁️
🔵objset.go	go	998 B	2024-02-02 18:09	✏️ 👁️
🔵operand.go	go	10.3 KB	2024-02-02 18:09	✏️ 👁️
🔵package.go	go	3 KB	2024-02-02 18:09	✏️ 👁️
🔵pointer.go	go	705 B	2024-02-02 18:09	✏️ 👁️
🔵predicates.go	go	16.8 KB	2024-02-02 18:09	✏️ 👁️
🔵resolver.go	go	25.6 KB	2024-02-02 18:09	✏️ 👁️
🔵resolver_test.go	go	4.5 KB	2024-02-02 18:09	✏️ 👁️
🔵return.go	go	4.2 KB	2024-02-02 18:09	✏️ 👁️
🔵scope.go	go	9.4 KB	2024-02-02 18:09	✏️ 👁️
🔵selection.go	go	5.8 KB	2024-02-02 18:09	✏️ 👁️
🔵self_test.go	go	2.8 KB	2024-02-02 18:09	✏️ 👁️
🔵signature.go	go	13 KB	2024-02-02 18:09	✏️ 👁️
🔵sizeof_test.go	go	1.3 KB	2024-02-02 18:09	✏️ 👁️
🔵sizes.go	go	8.9 KB	2024-02-02 18:09	✏️ 👁️
🔵sizes_test.go	go	4 KB	2024-02-02 18:09	✏️ 👁️
🔵slice.go	go	647 B	2024-02-02 18:09	✏️ 👁️
🔵stdlib_test.go	go	13.7 KB	2024-02-02 18:09	✏️ 👁️
🔵stmt.go	go	29.8 KB	2024-02-02 18:09	✏️ 👁️
🔵struct.go	go	6.2 KB	2024-02-02 18:09	✏️ 👁️
🔵subst.go	go	11.1 KB	2024-02-02 18:09	✏️ 👁️
🔵termlist.go	go	3.8 KB	2024-02-02 18:09	✏️ 👁️
🔵termlist_test.go	go	7.3 KB	2024-02-02 18:09	✏️ 👁️
🔵token_test.go	go	1.2 KB	2024-02-02 18:09	✏️ 👁️
🔵tuple.go	go	999 B	2024-02-02 18:09	✏️ 👁️
🔵type.go	go	422 B	2024-02-02 18:09	✏️ 👁️
🔵typelists.go	go	1.9 KB	2024-02-02 18:09	✏️ 👁️
🔵typeparam.go	go	4.8 KB	2024-02-02 18:09	✏️ 👁️
🔵typeset.go	go	13.6 KB	2024-02-02 18:09	✏️ 👁️
🔵typeset_test.go	go	2.3 KB	2024-02-02 18:09	✏️ 👁️
🔵typestring.go	go	12 KB	2024-02-02 18:09	✏️ 👁️
🔵typestring_test.go	go	3.9 KB	2024-02-02 18:09	✏️ 👁️
🔵typeterm.go	go	3.6 KB	2024-02-02 18:09	✏️ 👁️
🔵typeterm_test.go	go	5.1 KB	2024-02-02 18:09	✏️ 👁️
🔵typexpr.go	go	15.5 KB	2024-02-02 18:09	✏️ 👁️
🔵under.go	go	2.7 KB	2024-02-02 18:09	✏️ 👁️
🔵unify.go	go	27.6 KB	2024-02-02 18:09	✏️ 👁️
🔵union.go	go	6.2 KB	2024-02-02 18:09	✏️ 👁️
🔵universe.go	go	8 KB	2024-02-02 18:09	✏️ 👁️
🔵util.go	go	748 B	2024-02-02 18:09	✏️ 👁️
🔵util_test.go	go	568 B	2024-02-02 18:09	✏️ 👁️
🔵validtype.go	go	9 KB	2024-02-02 18:09	✏️ 👁️
🔵version.go	go	4 KB	2024-02-02 18:09	✏️ 👁️

✏️ Rename