go/test/typeparam/absdiffimp.dir/main.go
Robert Griesemer a91d0b649c cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration
We may revisit this decision in a future release. By disallowing this
for Go 1.18 we are ensuring that we don't lock in the generics design
in a place that may need to change later. (Type declarations are the
primary construct where it crucially matters what the underlying type
of a type parameter is.)

Comment out all tests that rely on this feature; add comments referring
to issue so we can find all places easily should we change our minds.

Fixes #45639.

Change-Id: I730510e4da66d3716d455a9071c7778a1e4a1152
Reviewed-on: https://go-review.googlesource.com/c/go/+/359177
Trust: Robert Griesemer <gri@golang.org>
Trust: Dan Scales <danscales@google.com>
Reviewed-by: Dan Scales <danscales@google.com>
2021-10-28 00:11:24 +00:00

26 lines
998 B
Go

// 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.
package main
func main() {
// For now, a lone type parameter is not permitted as RHS in a type declaration (issue #45639).
// if got, want := a.OrderedAbsDifference(1.0, -2.0), 3.0; got != want {
// panic(fmt.Sprintf("got = %v, want = %v", got, want))
// }
// if got, want := a.OrderedAbsDifference(-1.0, 2.0), 3.0; got != want {
// panic(fmt.Sprintf("got = %v, want = %v", got, want))
// }
// if got, want := a.OrderedAbsDifference(-20, 15), 35; got != want {
// panic(fmt.Sprintf("got = %v, want = %v", got, want))
// }
//
// if got, want := a.ComplexAbsDifference(5.0+2.0i, 2.0-2.0i), 5+0i; got != want {
// panic(fmt.Sprintf("got = %v, want = %v", got, want))
// }
// if got, want := a.ComplexAbsDifference(2.0-2.0i, 5.0+2.0i), 5+0i; got != want {
// panic(fmt.Sprintf("got = %v, want = %v", got, want))
// }
}