Source file src/internal/types/testdata/fixedbugs/issue71198.go

     1  // -gotypesalias=1
     2  
     3  // Copyright 2025 The Go Authors. All rights reserved.
     4  // Use of this source code is governed by a BSD-style
     5  // license that can be found in the LICENSE file.
     6  
     7  package p
     8  
     9  type A[_ any] = any
    10  
    11  // This must not panic; also the error message must match the style for non-alias types, below.
    12  func _[_ A /* ERROR "too many type arguments for type A: have 2, want 1" */ [int, string]]() {}
    13  
    14  type T[_ any] any
    15  
    16  func _[_ T /* ERROR "too many type arguments for type T: have 2, want 1" */ [int, string]]() {}
    17  

View as plain text