issue51593.go2

     1  // Copyright 2022 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 interface{ m(R) }, R any]() {}
     8  
     9  type T = interface { m(int) }
    10  
    11  func _() {
    12  	_ = f /* ERROR cannot infer R */ [T] // don't crash in type inference
    13  }
    14

View as plain text