mirror of
https://github.com/golang/go
synced 2024-11-05 17:36:15 -07:00
8b727f856e
Add type-checking logic for range over integers and functions, behind GOEXPERIMENT=range. For proposal #61405 (but behind a GOEXPERIMENT). For #61717. Change-Id: Ibf78cf381798b450dbe05eb922df82af2b009403 Reviewed-on: https://go-review.googlesource.com/c/go/+/510537 LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Auto-Submit: Russ Cox <rsc@golang.org> Reviewed-by: Matthew Dempsky <mdempsky@google.com> Reviewed-by: Robert Findley <rfindley@google.com>
25 lines
826 B
Go
25 lines
826 B
Go
// errorcheck -goexperiment range
|
|
|
|
// Copyright 2023 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.
|
|
|
|
// See ../internal/types/testdata/spec/range.go for most tests.
|
|
// The ones in this file cannot be expressed in that framework
|
|
// due to conflicts between that framework's error location pickiness
|
|
// and gofmt's comment location pickiness.
|
|
|
|
package p
|
|
|
|
type T struct{}
|
|
|
|
func (*T) PM() {}
|
|
func (T) M() {}
|
|
|
|
func test() {
|
|
for range T.M { // ERROR "cannot range over T.M \(value of type func\(T\)\): func must be func\(yield func\(...\) bool\): argument is not func"
|
|
}
|
|
for range (*T).PM { // ERROR "cannot range over \(\*T\).PM \(value of type func\(\*T\)\): func must be func\(yield func\(...\) bool\): argument is not func"
|
|
}
|
|
}
|