From af8b040655f730f5ed2b1c647ca76daf3903bcac Mon Sep 17 00:00:00 2001 From: Anthony Latsis Date: Fri, 17 Jun 2022 21:06:59 +0300 Subject: [PATCH] Add regression test to close #42790 --- test/expr/closure/inference.swift | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/test/expr/closure/inference.swift b/test/expr/closure/inference.swift index 0e9ac2a943f4b..33c55d3433977 100644 --- a/test/expr/closure/inference.swift +++ b/test/expr/closure/inference.swift @@ -77,3 +77,11 @@ cc(1) // Ok func SR12955() { let f: @convention(c) (T) -> Void // expected-error {{cannot find type 'T' in scope}} } + +do { + func SR168(c: () -> ()) -> T.Type { T.self } // expected-note {{in call to function 'SR168(c:)'}} + + let x = SR168 { // expected-error {{generic parameter 'T' could not be inferred}} + print("") + } +}