blob: c1e6c2d54c6d00c342d9b174292328b65d3ab89c [file] [log] [blame]
// 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 typeparams
import "unsafe"
func _[IntPtr ~uintptr, RealPtr *T, AnyPtr uintptr | *T, T any]() {
var (
i IntPtr
r RealPtr
a AnyPtr
)
_ = unsafe.Pointer(i) // incorrect, but not detected
_ = unsafe.Pointer(i + i) // incorrect, but not detected
_ = unsafe.Pointer(1 + i) // incorrect, but not detected
_ = unsafe.Pointer(uintptr(i)) // want "possible misuse of unsafe.Pointer"
_ = unsafe.Pointer(r)
_ = unsafe.Pointer(a) // possibly incorrect, but not detected
}