1+ function tuple0 ( ) : [ ] { return [ ] ; }
12function tuple1 ( ) : [ i32 , i32 ] { return [ 1 , 2 ] ; }
23function tuple2 ( ) : [ i32 , [ i32 , i32 ] ] { return [ 1 , [ 2 , 3 ] ] ; }
34function tuple3 ( ) : [ i32 , string ] { return [ 1 , "a" ] ; }
@@ -7,15 +8,19 @@ function tuple6(): [[i32[]]] { return [[[1, 2]]]; }
78function tuple7 ( ) : [ x : i32 , y : i32 ] { return [ 1 , 2 ] ; }
89function tuple8 ( ) : [ head : i32 , tail : [ lo : i32 , hi : i32 ] ] { return [ 1 , [ 2 , 3 ] ] ; }
910
10- function func1 ( a : i32 , b : i32 ) : [ i32 , i32 ] { return [ a , b ] ; }
11+ function func0 ( x : [ ] ) : [ ] { return [ ] ; }
12+ function func1 ( x : i32 , y : i32 ) : [ i32 , i32 ] { return [ y , x ] ; }
1113function func2 ( x : [ i32 , i32 ] ) : [ i32 , i32 ] { return x ; }
1214function func3 ( x : [ i32 , [ i32 , i32 ] ] , y : i32 ) : [ i32 , [ i32 , i32 ] ] { return x ; }
1315function func4 ( x : readonly [ i32 , string ] ) : [ void ] { return [ void ( 0 ) ] ; }
1416function func5 ( x : readonly [ Array < i32 > , i32 [ ] ] ) : readonly [ i32 ] { return [ x [ 1 ] . length ] ; }
1517function func6 ( x : [ i32 , i32 ] | null ) : [ i32 , i32 ] | null { return x ; }
1618function func7 ( x : readonly [ [ i32 [ ] ] , [ string ] ] ) : readonly [ [ i32 [ ] ] , [ string ] ] { return x ; }
1719function func8 ( x : [ left : i32 , right : i32 ] ) : [ first : i32 , second : i32 ] { return x ; }
20+ function func9 < T > ( x : [ T , T , i32 ] ) : [ T ] { return x ; }
21+ function func10 ( x : [ string | null , i32 ] | null ) : [ string | null , i32 ] | null { return x ; }
1822
23+ type type0 = [ ] ;
1924type type1 = [ i32 , i32 ] ;
2025type type2 = [ i32 , [ i32 , i32 ] ] ;
2126type type3 = readonly [ i32 , string ] ;
0 commit comments