mirror of
https://github.com/golang/go
synced 2024-11-18 12:24:48 -07:00
ca634fa2c5
After running the types2 type checker, walk info.Instances to reject any not-in-heap type arguments. This is feasible to check using the types2 API now, thanks to #46731. Fixes #54765. Change-Id: Idd2acc124d102d5a76f128f13c21a6e593b6790b Reviewed-on: https://go-review.googlesource.com/c/go/+/427235 Reviewed-by: Keith Randall <khr@golang.org> TryBot-Result: Gopher Robot <gobot@golang.org> Auto-Submit: Matthew Dempsky <mdempsky@google.com> Run-TryBot: Matthew Dempsky <mdempsky@google.com> Reviewed-by: Keith Randall <khr@google.com>
29 lines
743 B
Go
29 lines
743 B
Go
// errorcheck
|
|
|
|
// Copyright 2022 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.
|
|
|
|
// Test that not-in-heap types cannot be used as type
|
|
// arguments. (pointer-to-nih types are okay though.)
|
|
|
|
//go:build cgo
|
|
// +build cgo
|
|
|
|
package p
|
|
|
|
import (
|
|
"runtime/cgo"
|
|
"sync/atomic"
|
|
)
|
|
|
|
var _ atomic.Pointer[cgo.Incomplete] // ERROR "cannot use incomplete \(or unallocatable\) type as a type argument: runtime/cgo\.Incomplete"
|
|
var _ atomic.Pointer[*cgo.Incomplete] // ok
|
|
|
|
func implicit(ptr *cgo.Incomplete) {
|
|
g(ptr) // ERROR "cannot use incomplete \(or unallocatable\) type as a type argument: runtime/cgo\.Incomplete"
|
|
g(&ptr) // ok
|
|
}
|
|
|
|
func g[T any](_ *T) {}
|