Gecko [ 167.86.127.34 ]

Name	Size	Permission
blank.src	203 B	-rw-r--r--
builtins.src	23.77 KB	-rw-r--r--
const0.src	8.32 KB	-rw-r--r--
const1.src	8.04 KB	-rw-r--r--
constdecl.src	3.02 KB	-rw-r--r--
conversions.src	1.71 KB	-rw-r--r--
conversions2.src	5.07 KB	-rw-r--r--
cycles.src	2.79 KB	-rw-r--r--
cycles1.src	781 B	-rw-r--r--
cycles2.src	1.21 KB	-rw-r--r--
cycles3.src	675 B	-rw-r--r--
cycles4.src	1.76 KB	-rw-r--r--
cycles5.src	2.91 KB	-rw-r--r--
decls0.src	3.91 KB	-rw-r--r--
decls1.src	3.57 KB	-rw-r--r--
decls2a.src	3.11 KB	-rw-r--r--
decls2b.src	1.87 KB	-rw-r--r--
decls3.src	4.17 KB	-rw-r--r--
decls4.src	2.99 KB	-rw-r--r--
decls5.src	363 B	-rw-r--r--
errors.src	1.9 KB	-rw-r--r--
expr0.src	3.39 KB	-rw-r--r--
expr1.src	2.57 KB	-rw-r--r--
expr2.src	4.63 KB	-rw-r--r--
expr3.src	14.87 KB	-rw-r--r--
gotos.src	5.77 KB	-rw-r--r--
importC.src	1.21 KB	-rw-r--r--
importdecl0a.src	1.24 KB	-rw-r--r--
importdecl0b.src	1000 B	-rw-r--r--
importdecl1a.src	521 B	-rw-r--r--
importdecl1b.src	260 B	-rw-r--r--
init0.src	1.91 KB	-rw-r--r--
init1.src	1.46 KB	-rw-r--r--
init2.src	3.51 KB	-rw-r--r--
issue23203a.src	306 B	-rw-r--r--
issue23203b.src	306 B	-rw-r--r--
issue25008a.src	260 B	-rw-r--r--
issue25008b.src	198 B	-rw-r--r--
issue26390.src	241 B	-rw-r--r--
issue28251.src	1.23 KB	-rw-r--r--
issue6977.src	2.33 KB	-rw-r--r--
issues.src	9.83 KB	-rw-r--r--
labels.src	3.25 KB	-rw-r--r--
literals.src	2.35 KB	-rw-r--r--
methodsets.src	3.16 KB	-rw-r--r--
shifts.src	12.02 KB	-rw-r--r--
stmt0.src	17.79 KB	-rw-r--r--
stmt1.src	3.31 KB	-rw-r--r--
vardecl.src	5.27 KB	-rw-r--r--

Code Editor : decls4.src

// Copyright 2016 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.

// type aliases

package decls4

type (
	T0 [10]int
	T1 []byte
	T2 struct {
		x int
	}
	T3 interface{
		m() T2
	}
	T4 func(int, T0) chan T2
)

type (
	Ai = int
	A0 = T0
	A1 = T1
	A2 = T2
	A3 = T3
	A4 = T4

A10 = [10]int
	A11 = []byte
	A12 = struct {
		x int
	}
	A13 = interface{
		m() A2
	}
	A14 = func(int, A0) chan A2
)

// check assignment compatibility due to equality of types
var (
	xi_ int
	ai Ai = xi_

x0 T0
	a0 A0 = x0

x1 T1
	a1 A1 = x1

x2 T2
	a2 A2 = x2

x3 T3
	a3 A3 = x3

x4 T4
	a4 A4 = x4
)

// alias receiver types
func (Ai /* ERROR "invalid receiver" */) m1() {}
func (T0) m1() {}
func (A0) m1 /* ERROR already declared */ () {}
func (A0) m2 () {}
func (A3 /* ERROR invalid receiver */ ) m1 () {}
func (A10 /* ERROR invalid receiver */ ) m1() {}

// x0 has methods m1, m2 declared via receiver type names T0 and A0
var _ interface{ m1(); m2() } = x0

// alias receiver types (test case for issue #23042)
type T struct{}

var (
	_ = T.m
	_ = T{}.m
	_ interface{m()} = T{}
)

var (
	_ = T.n
	_ = T{}.n
	_ interface{m(); n()} = T{}
)

type U = T
func (U) m() {}

// alias receiver types (long type declaration chains)
type (
	V0 = V1
	V1 = (V2)
	V2 = ((V3))
	V3 = T
)

func (V0) m /* ERROR already declared */ () {}
func (V1) n() {}

// alias receiver types (invalid due to cycles)
type (
	W0 /* ERROR illegal cycle */ = W1
	W1 = (W2)
	W2 = ((W0))
)

func (W0) m() {} // no error expected (due to above cycle error)
func (W1) n() {}

// alias receiver types (invalid due to builtin underlying type)
type (
	B0 = B1
	B1 = B2
	B2 = int
)

func (B0 /* ERROR invalid receiver */ ) m() {}
func (B1 /* ERROR invalid receiver */ ) n() {}

// cycles
type (
	C2 /* ERROR illegal cycle */ = C2
	C3 /* ERROR illegal cycle */ = C4
	C4 = C3
	C5 struct {
		f *C6
	}
	C6 = C5
	C7 /* ERROR illegal cycle */  struct {
		f C8
	}
	C8 = C7
)

// embedded fields
var (
	s0 struct { T0 }
	s1 struct { A0 } = s0 /* ERROR cannot use */ // embedded field names are different
)

// embedding and lookup of fields and methods
func _(s struct{A0}) { s.A0 = x0 }

type eX struct{xf int}

func (eX) xm()

type eY = struct{eX} // field/method set of eY includes xf, xm

type eZ = *struct{eX} // field/method set of eZ includes xf, xm

type eA struct {
	eX // eX contributes xf, xm to eA
}

type eA2 struct {
	*eX // *eX contributes xf, xm to eA
}

type eB struct {
	eY // eY contributes xf, xm to eB
}

type eB2 struct {
	*eY // *eY contributes xf, xm to eB
}

type eC struct {
	eZ // eZ contributes xf, xm to eC
}

var (
	_ = eA{}.xf
	_ = eA{}.xm
	_ = eA2{}.xf
	_ = eA2{}.xm
	_ = eB{}.xf
	_ = eB{}.xm
	_ = eB2{}.xf
	_ = eB2{}.xm
	_ = eC{}.xf
	_ = eC{}.xm
)

// ambiguous selectors due to embedding via type aliases
type eD struct {
	eY
	eZ
}

var (
	_ = eD{}.xf /* ERROR ambiguous selector */
	_ = eD{}.xm /* ERROR ambiguous selector */
)

var (
	_ interface{ xm() } = eD /* ERROR missing method xm */ {}
)

${this.title}

Code Editor : decls4.src