make golden

dkcumming · dkcumming · commit e652b7293006 · 2025-04-27T17:02:19.000+09:00
diff --git a/tests/integration/programs/assert_eq.smir.json.expected b/tests/integration/programs/assert_eq.smir.json.expected
@@ -3248,21 +3248,21 @@
     [
       {
         "StructType": {
-          "name": "std::fmt::Formatter"
+          "name": "std::panic::Location"
         }
       }
     ],
     [
       {
         "StructType": {
-          "name": "std::fmt::Error"
+          "name": "std::fmt::Formatter"
         }
       }
     ],
     [
       {
         "StructType": {
-          "name": "std::panic::Location"
+          "name": "std::fmt::Error"
         }
       }
     ],
@@ -3351,11 +3351,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/binop.smir.json.expected b/tests/integration/programs/binop.smir.json.expected
@@ -9846,11 +9846,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/char-trivial.smir.json.expected b/tests/integration/programs/char-trivial.smir.json.expected
@@ -1758,11 +1758,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/closure-args.smir.json.expected b/tests/integration/programs/closure-args.smir.json.expected
@@ -2068,11 +2068,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/closure-no-args.smir.json.expected b/tests/integration/programs/closure-no-args.smir.json.expected
@@ -1876,11 +1876,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/const-arithm-simple.smir.json.expected b/tests/integration/programs/const-arithm-simple.smir.json.expected
@@ -2019,11 +2019,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/div.smir.json.expected b/tests/integration/programs/div.smir.json.expected
@@ -2125,11 +2125,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/double-ref-deref.smir.json.expected b/tests/integration/programs/double-ref-deref.smir.json.expected
@@ -1881,11 +1881,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/enum.smir.json.expected b/tests/integration/programs/enum.smir.json.expected
@@ -1570,11 +1570,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/fibonacci.smir.json.expected b/tests/integration/programs/fibonacci.smir.json.expected
@@ -2444,11 +2444,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/float.smir.json.expected b/tests/integration/programs/float.smir.json.expected
@@ -2342,11 +2342,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/modulo.smir.json.expected b/tests/integration/programs/modulo.smir.json.expected
@@ -2123,11 +2123,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/mutual_recursion.smir.json.expected b/tests/integration/programs/mutual_recursion.smir.json.expected
@@ -2395,11 +2395,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/option-construction.smir.json.expected b/tests/integration/programs/option-construction.smir.json.expected
@@ -1923,11 +1923,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/primitive-type-bounds.smir.json.expected b/tests/integration/programs/primitive-type-bounds.smir.json.expected
@@ -2002,11 +2002,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/recursion-simple-match.smir.json.expected b/tests/integration/programs/recursion-simple-match.smir.json.expected
@@ -2204,11 +2204,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/recursion-simple.smir.json.expected b/tests/integration/programs/recursion-simple.smir.json.expected
@@ -2204,11 +2204,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/ref-deref.smir.json.expected b/tests/integration/programs/ref-deref.smir.json.expected
@@ -1822,11 +1822,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/shl_min.smir.json.expected b/tests/integration/programs/shl_min.smir.json.expected
@@ -3637,11 +3637,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/slice.smir.json.expected b/tests/integration/programs/slice.smir.json.expected
@@ -4780,11 +4780,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/strange-ref-deref.smir.json.expected b/tests/integration/programs/strange-ref-deref.smir.json.expected
@@ -1884,11 +1884,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/struct.smir.json.expected b/tests/integration/programs/struct.smir.json.expected
@@ -2045,11 +2045,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/sum-to-n.smir.json.expected b/tests/integration/programs/sum-to-n.smir.json.expected
@@ -2631,11 +2631,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/tuple-eq.smir.json.expected b/tests/integration/programs/tuple-eq.smir.json.expected
@@ -2591,11 +2591,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }
diff --git a/tests/integration/programs/tuples-simple.smir.json.expected b/tests/integration/programs/tuples-simple.smir.json.expected
@@ -1877,11 +1877,6 @@
       {
         "RefType": "elided"
       }
-    ],
-    [
-      {
-        "FunType": "elided"
-      }
     ]
   ]
 }

Original file line number	Diff line number	Diff line change
`@@ -3248,21 +3248,21 @@`
`3248`	`3248`	`[`
`3249`	`3249`	`{`
`3250`	`3250`	`"StructType": {`
`3251`		`- "name": "std::fmt::Formatter"`
	`3251`	`+ "name": "std::panic::Location"`
`3252`	`3252`	`}`
`3253`	`3253`	`}`
`3254`	`3254`	`],`
`3255`	`3255`	`[`
`3256`	`3256`	`{`
`3257`	`3257`	`"StructType": {`
`3258`		`- "name": "std::fmt::Error"`
	`3258`	`+ "name": "std::fmt::Formatter"`
`3259`	`3259`	`}`
`3260`	`3260`	`}`
`3261`	`3261`	`],`
`3262`	`3262`	`[`
`3263`	`3263`	`{`
`3264`	`3264`	`"StructType": {`
`3265`		`- "name": "std::panic::Location"`
	`3265`	`+ "name": "std::fmt::Error"`
`3266`	`3266`	`}`
`3267`	`3267`	`}`
`3268`	`3268`	`],`
`@@ -3351,11 +3351,6 @@`
`3351`	`3351`	`{`
`3352`	`3352`	`"RefType": "elided"`
`3353`	`3353`	`}`
`3354`		`- ],`
`3355`		`- [`
`3356`		`- {`
`3357`		`- "FunType": "elided"`
`3358`		`- }`
`3359`	`3354`	`]`
`3360`	`3355`	`]`
`3361`	`3356`	`}`
Original file line number	Diff line number	Diff line change
`@@ -9846,11 +9846,6 @@`
`9846`	`9846`	`{`
`9847`	`9847`	`"RefType": "elided"`
`9848`	`9848`	`}`
`9849`		`- ],`
`9850`		`- [`
`9851`		`- {`
`9852`		`- "FunType": "elided"`
`9853`		`- }`
`9854`	`9849`	`]`
`9855`	`9850`	`]`
`9856`	`9851`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1758,11 +1758,6 @@`
`1758`	`1758`	`{`
`1759`	`1759`	`"RefType": "elided"`
`1760`	`1760`	`}`
`1761`		`- ],`
`1762`		`- [`
`1763`		`- {`
`1764`		`- "FunType": "elided"`
`1765`		`- }`
`1766`	`1761`	`]`
`1767`	`1762`	`]`
`1768`	`1763`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2068,11 +2068,6 @@`
`2068`	`2068`	`{`
`2069`	`2069`	`"RefType": "elided"`
`2070`	`2070`	`}`
`2071`		`- ],`
`2072`		`- [`
`2073`		`- {`
`2074`		`- "FunType": "elided"`
`2075`		`- }`
`2076`	`2071`	`]`
`2077`	`2072`	`]`
`2078`	`2073`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1876,11 +1876,6 @@`
`1876`	`1876`	`{`
`1877`	`1877`	`"RefType": "elided"`
`1878`	`1878`	`}`
`1879`		`- ],`
`1880`		`- [`
`1881`		`- {`
`1882`		`- "FunType": "elided"`
`1883`		`- }`
`1884`	`1879`	`]`
`1885`	`1880`	`]`
`1886`	`1881`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2019,11 +2019,6 @@`
`2019`	`2019`	`{`
`2020`	`2020`	`"RefType": "elided"`
`2021`	`2021`	`}`
`2022`		`- ],`
`2023`		`- [`
`2024`		`- {`
`2025`		`- "FunType": "elided"`
`2026`		`- }`
`2027`	`2022`	`]`
`2028`	`2023`	`]`
`2029`	`2024`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2125,11 +2125,6 @@`
`2125`	`2125`	`{`
`2126`	`2126`	`"RefType": "elided"`
`2127`	`2127`	`}`
`2128`		`- ],`
`2129`		`- [`
`2130`		`- {`
`2131`		`- "FunType": "elided"`
`2132`		`- }`
`2133`	`2128`	`]`
`2134`	`2129`	`]`
`2135`	`2130`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1881,11 +1881,6 @@`
`1881`	`1881`	`{`
`1882`	`1882`	`"RefType": "elided"`
`1883`	`1883`	`}`
`1884`		`- ],`
`1885`		`- [`
`1886`		`- {`
`1887`		`- "FunType": "elided"`
`1888`		`- }`
`1889`	`1884`	`]`
`1890`	`1885`	`]`
`1891`	`1886`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1570,11 +1570,6 @@`
`1570`	`1570`	`{`
`1571`	`1571`	`"RefType": "elided"`
`1572`	`1572`	`}`
`1573`		`- ],`
`1574`		`- [`
`1575`		`- {`
`1576`		`- "FunType": "elided"`
`1577`		`- }`
`1578`	`1573`	`]`
`1579`	`1574`	`]`
`1580`	`1575`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2444,11 +2444,6 @@`
`2444`	`2444`	`{`
`2445`	`2445`	`"RefType": "elided"`
`2446`	`2446`	`}`
`2447`		`- ],`
`2448`		`- [`
`2449`		`- {`
`2450`		`- "FunType": "elided"`
`2451`		`- }`
`2452`	`2447`	`]`
`2453`	`2448`	`]`
`2454`	`2449`	`}`