// -gotypesalias=1

// Copyright 2025 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 p

type A[_ any] = any

// This must not panic; also the error message must match the style for non-alias types, below.
func _[_ A /* ERROR "too many type arguments for type A: have 2, want 1" */ [int, string]]() {}

type T[_ any] any

func _[_ T /* ERROR "too many type arguments for type T: have 2, want 1" */ [int, string]]() {}