1 // Copyright 2023 The Go Authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style 3 // license that can be found in the LICENSE file. 4 5 package p 6 7 func f[P ~*T, T any]() { 8 var p P 9 var tp *T 10 tp = p // this assignment is valid 11 _ = tp 12 } 13