| Index: pkg/kernel/test/type_unification_test.dart
|
| diff --git a/pkg/kernel/test/type_unification_test.dart b/pkg/kernel/test/type_unification_test.dart
|
| index ed75d269930c87f0e2234ba0fd3624abb8c70e01..2e79fdb59e33278bbb1f6b257801a12320635d2c 100644
|
| --- a/pkg/kernel/test/type_unification_test.dart
|
| +++ b/pkg/kernel/test/type_unification_test.dart
|
| @@ -43,8 +43,10 @@ final List<TestCase> testCases = <TestCase>[
|
|
|
| successCase('(x:int,y:String) => int', '(y:String,x:int) => int', {}),
|
| successCase('<S,T>(x:S,y:T) => S', '<S,T>(y:T,x:S) => S', {}),
|
| - successCase('(x:<T>(T)=>T,y:<S>(S)=>S) => int', '(y:<S>(S)=>S,x:<T>(T)=>T) => int', {}),
|
| - successCase('(x:<T>(T)=>T,y:<S>(S,S,S)=>S) => int', '(y:<S>(S,S,S)=>S,x:<T>(T)=>T) => int', {}),
|
| + successCase('(x:<T>(T)=>T,y:<S>(S)=>S) => int',
|
| + '(y:<S>(S)=>S,x:<T>(T)=>T) => int', {}),
|
| + successCase('(x:<T>(T)=>T,y:<S>(S,S,S)=>S) => int',
|
| + '(y:<S>(S,S,S)=>S,x:<T>(T)=>T) => int', {}),
|
| ];
|
|
|
| class TestCase {
|
|
|