OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	12/01/2022 06:13:56 PM	rwxr-xr-x
📄 chans.go2	1.66 KB	12/01/2022 06:12:58 PM	rw-r--r--
📄 commas.src	365 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 interface.go2	1.08 KB	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue11377.src	535 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue23434.src	546 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue3106.src	822 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue34946.src	601 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📁 issue42951	-	12/01/2022 06:13:56 PM	rwxr-xr-x
📄 issue44504.src	403 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue49174.go2	225 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue49175.go2	307 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue49482.go2	965 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 issue50427.go2	533 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 linalg.go2	2.03 KB	12/01/2022 06:12:58 PM	rw-r--r--
📄 map.go2	2.61 KB	12/01/2022 06:12:58 PM	rw-r--r--
📄 metrics.go2	908 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📁 resolution	-	12/01/2022 06:13:56 PM	rwxr-xr-x
📄 set.go2	474 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 slices.go2	666 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 sort.go2	902 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 tparams.go2	1.14 KB	12/01/2022 06:12:58 PM	rw-r--r--
📄 typeparams.src	516 bytes	12/01/2022 06:12:58 PM	rw-r--r--
📄 typeset.go2	1.97 KB	12/01/2022 06:12:58 PM	rw-r--r--

Editing: typeset.go2

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

// This file contains test cases for typeset-only constraint elements.
// TODO(gri) gofmt once/if gofmt supports this notation.

package p

type (
        _[_ t] t
        _[_ ~t] t
        _[_ t|t] t
        _[_ ~t|t] t
        _[_ t|~t] t
        _[_ ~t|~t] t

_[_ t, _, _ t|t] t
        _[_ t, _, _ ~t|t] t
        _[_ t, _, _ t|~t] t
        _[_ t, _, _ ~t|~t] t

_[_ t.t] t
        _[_ ~t.t] t
        _[_ t.t|t.t] t
        _[_ ~t.t|t.t] t
        _[_ t.t|~t.t] t
        _[_ ~t.t|~t.t] t

_[_ t, _, _ t.t|t.t] t
        _[_ t, _, _ ~t.t|t.t] t
        _[_ t, _, _ t.t|~t.t] t
        _[_ t, _, _ ~t.t|~t.t] t

_[_ struct{}] t
        _[_ ~struct{}] t

_[_ struct{}|t] t
        _[_ ~struct{}|t] t
        _[_ struct{}|~t] t
        _[_ ~struct{}|~t] t

_[_ t|struct{}] t
        _[_ ~t|struct{}] t
        _[_ t|~struct{}] t
        _[_ ~t|~struct{}] t
)

// Single-expression type parameter lists and those that don't start
// with a (type parameter) name are considered array sizes.
// The term must be a valid expression (it could be a type incl. a
// tilde term) but the type-checker will complain.
type (
        _[t] t
        _[t|t] t

// These are invalid and the type-checker will complain.
        _[~t] t
        _[~t|t] t
        _[t|~t] t
        _[~t|~t] t
)

type _[_ t, t /* ERROR "type parameters must be named" */ ] t
type _[_ ~t, t /* ERROR "type parameters must be named" */ ] t
type _[_ t, ~ /* ERROR "type parameters must be named" */ t] t
type _[_ ~t, ~ /* ERROR "type parameters must be named" */ t] t

type _[_ t|t, t /* ERROR "type parameters must be named" */ |t] t
type _[_ ~t|t, t /* ERROR "type parameters must be named" */ |t] t
type _[_ t|t, ~ /* ERROR "type parameters must be named" */ t|t] t
type _[_ ~t|t, ~ /* ERROR "type parameters must be named" */ t|t] t