1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
// 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 types2_test
import (
"cmd/compile/internal/types2"
"errors"
"fmt"
"strings"
"testing"
)
func checkMono(t *testing.T, body string) error {
src := "package x; import `unsafe`; var _ unsafe.Pointer;\n" + body
var buf strings.Builder
conf := types2.Config{
Error: func(err error) { fmt.Fprintln(&buf, err) },
Importer: defaultImporter(),
}
typecheck(src, &conf, nil)
if buf.Len() == 0 {
return nil
}
return errors.New(strings.TrimRight(buf.String(), "\n"))
}
func TestMonoGood(t *testing.T) {
for i, good := range goods {
if err := checkMono(t, good); err != nil {
t.Errorf("%d: unexpected failure: %v", i, err)
}
}
}
func TestMonoBad(t *testing.T) {
for i, bad := range bads {
if err := checkMono(t, bad); err == nil {
t.Errorf("%d: unexpected success", i)
} else {
t.Log(err)
}
}
}
var goods = []string{
"func F[T any](x T) { F(x) }",
"func F[T, U, V any]() { F[U, V, T](); F[V, T, U]() }",
"type Ring[A, B, C any] struct { L *Ring[B, C, A]; R *Ring[C, A, B] }",
"func F[T any]() { type U[T any] [unsafe.Sizeof(F[*T])]byte }",
"func F[T any]() { type U[T any] [unsafe.Sizeof(F[*T])]byte; var _ U[int] }",
"type U[T any] [unsafe.Sizeof(F[*T])]byte; func F[T any]() { var _ U[U[int]] }",
"func F[T any]() { type A = int; F[A]() }",
}
// TODO(mdempsky): Validate specific error messages and positioning.
var bads = []string{
"func F[T any](x T) { F(&x) }",
"func F[T any]() { F[*T]() }",
"func F[T any]() { F[[]T]() }",
"func F[T any]() { F[[1]T]() }",
"func F[T any]() { F[chan T]() }",
"func F[T any]() { F[map[*T]int]() }",
"func F[T any]() { F[map[error]T]() }",
"func F[T any]() { F[func(T)]() }",
"func F[T any]() { F[func() T]() }",
"func F[T any]() { F[struct{ t T }]() }",
"func F[T any]() { F[interface{ t() T }]() }",
"type U[_ any] int; func F[T any]() { F[U[T]]() }",
"func F[T any]() { type U int; F[U]() }",
"func F[T any]() { type U int; F[*U]() }",
"type U[T any] int; func (U[T]) m() { var _ U[*T] }",
"type U[T any] int; func (*U[T]) m() { var _ U[*T] }",
"type U[T1 any] [unsafe.Sizeof(F[*T1])]byte; func F[T2 any]() { var _ U[T2] }",
"func F[A, B, C, D, E any]() { F[B, C, D, E, *A]() }",
"type U[_ any] int; const X = unsafe.Sizeof(func() { type A[T any] U[A[*T]] })",
"func F[T any]() { type A = *T; F[A]() }",
"type A[T any] struct { _ A[*T] }",
}
|
