fixup! Support enum construction in formula_fn

coord-e · coord-e · commit 1162a2d578ac · 2026-03-31T23:58:05.000+09:00
diff --git a/src/analyze/annot_fn.rs b/src/analyze/annot_fn.rs
@@ -163,6 +163,7 @@ impl<'tcx> AnnotFnTranslator<'tcx> {
 
     pub fn with_def_id_cache(mut self, def_ids: DefIdCache<'tcx>) -> Self {
         self.def_ids = def_ids;
+        self.type_builder = TypeBuilder::new(self.tcx, self.def_ids.clone(), self.local_def_id.to_def_id());
         self
     }
 

Original file line number	Diff line number	Diff line change
`@@ -163,6 +163,7 @@ impl<'tcx> AnnotFnTranslator<'tcx> {`
`163`	`163`
`164`	`164`	`pub fn with_def_id_cache(mut self, def_ids: DefIdCache<'tcx>) -> Self {`
`165`	`165`	`self.def_ids = def_ids;`
	`166`	`+ self.type_builder = TypeBuilder::new(self.tcx, self.def_ids.clone(), self.local_def_id.to_def_id());`
`166`	`167`	`self`
`167`	`168`	`}`
`168`	`169`