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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
Test of "too new" diagnostics from the stdversion analyzer.
This test references go1.21 and go1.22 symbols from std.
It uses a txtar file due to golang/go#37054.
See also gopls/internal/test/marker/testdata/diagnostics/stdversion.txt
which runs the same test within the gopls analysis driver, to ensure
coverage of per-file Go version support.
-- go.work --
go 1.21
use .
use sub
use sub20
use old
-- go.mod --
module example.com
go 1.21
-- a/a.go --
package a
import "go/types"
func _() {
// old package-level type
var _ types.Info // ok: defined by go1.0
// new field of older type
_ = new(types.Info).FileVersions // want `types.FileVersions requires go1.22 or later \(module is go1.21\)`
// new method of older type
new(types.Info).PkgNameOf // want `types.PkgNameOf requires go1.22 or later \(module is go1.21\)`
// new package-level type
var a types.Alias // want `types.Alias requires go1.22 or later \(module is go1.21\)`
// new method of new type
a.Underlying() // no diagnostic
}
-- sub/go.mod --
module example.com/sub
go 1.21
-- sub/sub.go --
package sub
import "go/types"
func _() {
// old package-level type
var _ types.Info // ok: defined by go1.0
// new field of older type
_ = new(types.Info).FileVersions // want `types.FileVersions requires go1.22 or later \(module is go1.21\)`
// new method of older type
new(types.Info).PkgNameOf // want `types.PkgNameOf requires go1.22 or later \(module is go1.21\)`
// new package-level type
var a types.Alias // want `types.Alias requires go1.22 or later \(module is go1.21\)`
// new method of new type
a.Underlying() // no diagnostic
}
invalid syntax // exercise RunDespiteErrors
-- sub/tagged.go --
//go:build go1.22
package sub
import "go/types"
func _() {
// old package-level type
var _ types.Info
// new field of older type
_ = new(types.Info).FileVersions
// new method of older type
new(types.Info).PkgNameOf
// new package-level type
var a types.Alias
// new method of new type
a.Underlying()
}
-- old/go.mod --
module example.com/old
go 1.5
-- old/old.go --
package old
import "go/types"
var _ types.Alias // no diagnostic: go.mod is too old for us to care
-- sub/oldtagged.go --
// The file Go version (1.16) overrides the go.mod Go version (1.21),
// even when this means a downgrade (#67123).
// (stdversion is silent for go.mod versions before 1.21:
// before the forward compatibility regime, the meaning
// of the go.mod version was not clearly defined.)
//go:build go1.16
package sub
import "bytes"
import "go/types"
var _ = bytes.Clone // want `bytes.Clone requires go1.20 or later \(file is go1.16\)`
var _ = types.Alias // want `types.Alias requires go1.22 or later \(file is go1.16\)`
-- sub20/go.mod --
module example.com/sub20
go 1.20
-- sub20/oldtagged.go --
// Same test again, but with a go1.20 mod,
// before the forward compatibility regime:
// The file's build tag effects selection, but
// not language semantics, so stdversion is silent.
//go:build go1.16
package sub
import "bytes"
import "go/types"
var _ = bytes.Clone
var _ = types.Alias
|
