@@ -4,6 +4,8 @@ function tuple3(): [i32, string] { return [1, "a"]; }
44function tuple4 ( ) : [ Array < i32 > , i32 [ ] ] { return [ new Array < i32 > ( ) , [ 1 , 2 ] ] ; }
55function tuple5 ( ) : [ i32 ] { return [ 1 ] ; }
66function tuple6 ( ) : [ [ i32 [ ] ] ] { return [ [ [ 1 , 2 ] ] ] ; }
7+ function tuple7 ( ) : [ x : i32 , y : i32 ] { return [ 1 , 2 ] ; }
8+ function tuple8 ( ) : [ head : i32 , tail : [ lo : i32 , hi : i32 ] ] { return [ 1 , [ 2 , 3 ] ] ; }
79
810function func1 ( a : i32 , b : i32 ) : [ i32 , i32 ] { return [ a , b ] ; }
911function func2 ( x : [ i32 , i32 ] ) : [ i32 , i32 ] { return x ; }
@@ -12,10 +14,12 @@ function func4(x: readonly [i32, string]): [void] { return [void(0)]; }
1214function func5 ( x : readonly [ Array < i32 > , i32 [ ] ] ) : readonly [ i32 ] { return [ x [ 1 ] . length ] ; }
1315function func6 ( x : [ i32 , i32 ] | null ) : [ i32 , i32 ] | null { return x ; }
1416function func7 ( x : readonly [ [ i32 [ ] ] , [ string ] ] ) : readonly [ [ i32 [ ] ] , [ string ] ] { return x ; }
17+ function func8 ( x : [ left : i32 , right : i32 ] ) : [ first : i32 , second : i32 ] { return x ; }
1518
1619type type1 = [ i32 , i32 ] ;
1720type type2 = [ i32 , [ i32 , i32 ] ] ;
1821type type3 = readonly [ i32 , string ] ;
1922type type4 = [ i32 , i32 ] | null ;
2023type type5 = [ [ i32 , i32 ] , [ i32 , i32 ] ] ;
2124type type6 < T > = [ Array < T > , T [ ] , T ] ;
25+ type type7 = [ start : i32 , end : [ lo : i32 , hi : i32 ] ] ;
0 commit comments