| 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 {
 | 
| 
 |