// Distributed under the terms of the MIT license
// Test case submitted to project by https://github.com/practicalswift (practicalswift)
// Test case found by fuzzing
// RUN: %swift -parse %s -verify

func b((Any, e))(e: (Any) -> <d>(()-> d) -> f // expected-error{{type annotation missing in pattern}} expected-error{{expected type for function result}} expected-error{{use of undeclared type 'e'}}
// expected-error@-1{{expected ',' separator}}
// expected-error@-2{{expected ',' separator}}
// expected-error@-3{{expected parameter typ}}

// Distributed under the terms of the MIT license
// Test case submitted to project by https://github.com/practicalswift (practicalswift)
// Test case found by fuzzing
// RUN: %swift -parse %s -verify

func b((Any, e))(e: (Any) -> <d>(()-> d) -> f // expected-error{{use of undeclared type}}
// expected-error@-1{{expected ',' separator}}
// expected-error@-2{{expected ',' separator}}
// expected-error@-3{{expected parameter typ}}

--- 
+++ 
@@ -3,7 +3,7 @@
 // Test case found by fuzzing
 // RUN: %swift -parse %s -verify
 
-func b((Any, e))(e: (Any) -> <d>(()-> d) -> f // expected-error{{use of undeclared type}}
+func b((Any, e))(e: (Any) -> <d>(()-> d) -> f // expected-error{{type annotation missing in pattern}} expected-error{{expected type for function result}} expected-error{{use of undeclared type 'e'}}
 // expected-error@-1{{expected ',' separator}}
 // expected-error@-2{{expected ',' separator}}
 // expected-error@-3{{expected parameter typ}}
Update validation test for diagnostic drift.

Swift SVN r22946
