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

     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  type String string
     8  
     9  func g[P any](P, string) {}
    10  
    11  // String and string are not identical and thus must not unify
    12  // (they are element types of the func type and therefore must
    13  // be identical to match).
    14  // The result is an error from type inference, rather than an
    15  // error from an assignment mismatch.
    16  var f func(int, String) = g // ERROR "inferred type func(int, string) for func(P, string) does not match type func(int, String) of f"
    17  

View as plain text