S float64
	T float64
	U float64
	V float64
}

type T6 struct {
	T9
	C T10
}

type T7 struct {
	T10
	T11
}

type T8 struct {
	T9
	C T7
}

type T9 struct {
	A T5
	B T3
	D T4
}

type T10 struct {
	W float64
}

type T11 struct {
	X float64
	Y float64
}

func MainTest(x T1, y T8, z T6) float64 {

        //           for the incorrect optimization in the validType check
        //           (see TODO in validtype.go).
        // T10 interface { T9; T9 }
        // T11 interface { T10; T10 }
        // T12 interface { T11; T11 }
        // T13 interface { T12; T12 }
        // T14 interface { T13; T13 }
        // T15 interface { T14; T14 }
        // T16 interface { T15; T15 }
        // T17 interface { T16; T16 }

	P1 *T9
	T9 /* ERROR "invalid recursive type: T9 refers to itself" */ T9

	T10 /* ERROR "invalid recursive type: T10 refers to itself" */ T10
	P2 *T10
)

func (T11) m() {}

type T11 /* ERROR "invalid recursive type: T11 refers to itself" */ struct{ T11 }

type T12 /* ERROR "invalid recursive type: T12 refers to itself" */ struct{ T12 }

func (*T12) m() {}

type (
	P3 *T13

// func f10() {
//	 s := S4{1, 2, 3, 4}
//	 var i I2 = s
//	 i.Put(5)
//	 check(i.Get() == 5, "f10 i")
//	 check(s.l == 4, "f10 s")
// }

func f11() {
	s := S4{1, 2, 3, 4}
	var i I2 = &s
	i.Put(5)
	check(i.Get() == 5, "f11 i")
	check(s.l == 5, "f11 s")
}

func f12() {
	s := &S4{1, 2, 3, 4}
	var i I2 = s
	i.Put(5)
	check(i.Get() == 5, "f12 i")
	check(s.l == 5, "f12 s")
}

	// compute y
	FMOVD	$P5, F8		// F8 = P5
	FMOVD	$P4, F9		// F9 = P4
	FMADDD	F7, F9, F8, F13	// P4+t*P5
	FMOVD	$P3, F10	// F10 = P3
	FMADDD	F7, F10, F13, F13	// P3+t*(P4+t*P5)
	FMOVD	$P2, F11	// F11 = P2
	FMADDD	F7, F11, F13, F13	// P2+t*(P3+t*(P4+t*P5))
	FMOVD	$P1, F12	// F12 = P1
	FMADDD	F7, F12, F13, F13	// P1+t*(P2+t*(P3+t*(P4+t*P5)))
	FMSUBD	F7, F6, F13, F13	// F13 = c = r - t*(P1+t*(P2+t*(P3+t*(P4+t*P5))))
	FMOVD	$2.0, F14

	t6 byte = array[t1]
	t7 byte = array[x /* ERROR "must be integer" */]
	t8 *int = & /* ERRORx `cannot use .* variable declaration` */ a
	t10 *int = &42 /* ERROR "cannot take address" */
	t11 *complex64 = &v
	t12 complex64 = -(u + *t11) / *&v
	t13 int = a /* ERROR "shifted operand" */ << d
	t14 int = i << j
	t15 math /* ERROR "math is not a type" */
	t16 math.xxx /* ERROR "undefined" */
	t17 math /* ERROR "not a type" */ .Pi

		len(a.B.C1.D2.E2.F5) != 0 ||
		len(a.B.C1.D2.E2.F6) != 0 ||
		len(a.B.C1.D2.E2.F7) != 0 ||
		len(a.B.C1.D2.E2.F8) != 0 ||
		len(a.B.C1.D2.E2.F9) != 0 ||
		len(a.B.C1.D2.E2.F10) != 0 ||
		len(a.B.C1.D2.E2.F11) != 0 ||
		len(a.B.C1.D2.E2.F16) != 0 {
		panic("bad")
	}
	C.malloc(100)
}

type A struct {
	B
}

type B struct {
	C1 C
	C2 C
}

type C struct {
	D1 D
	D2 D
}

	STMG	R6, R15, 48(R15)

	// Allocate 96 bytes on the stack.
	MOVD	$-96(R15), R15

	// Save F8-F15 in our stack frame.
	FMOVD	F8, 32(R15)
	FMOVD	F9, 40(R15)
	FMOVD	F10, 48(R15)
	FMOVD	F11, 56(R15)
	FMOVD	F12, 64(R15)
	FMOVD	F13, 72(R15)
	FMOVD	F14, 80(R15)
	FMOVD	F15, 88(R15)

	// Initialize Go ABI environment.
	BL	runtime·load_g(SB)

	MOVD	R2, 8(R15)	// fn unsafe.Pointer

        T7 = (*(T8))
        T8 = T
)

func (T6) m6() {}
func _() { (T{}).m6 /* ERROR "cannot call pointer method m6 on T" */ () }
func _() { (&T{}).m6() }

type (
        T9 = *T10
        T10 = *T11
        T11 = T
)

func (T9 /* ERRORx `invalid receiver type (\*\*T|T9)` */ ) m9() {}
func _() { (T{}).m9 /* ERROR "has no field or method m9" */ () }

	var f9 float32 = 9.0
	var f10 float32 = 10.0
	var f11 float32 = 11.0
	var f12 float32 = 12.0
	var f13 float32 = 13.0
	var f14 float32 = 14.0
	var f15 float32 = 15.0
	var f16 float32 = 16.0
	i0 = int(f0)
	i1 = int(f1)
	i2 = int(f2)
	i3 = int(f3)
	i4 = int(f4)
	i5 = int(f5)
	i6 = int(f6)
	i7 = int(f7)
	i8 = int(f8)
	i9 = int(f9)
	i10 = int(f10)
	i11 = int(f11)
	i12 = int(f12)
	i13 = int(f13)
	i14 = int(f14)