map sort-var to DefId

flux-rs · Nov 2, 2023 · c02655b · c02655b
2 parents 6746174 + 369ae2a
commit c02655b
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/crates/flux-middle/src/fhir.rs b/crates/flux-middle/src/fhir.rs
@@ -538,17 +538,6 @@ impl PolyFuncSort {
             .collect();
         FuncSort { inputs_and_output }
     }
-
-    // fn mk_param_subst(&self, subst: &SortParamSubst) -> PolyFuncSort {
-    //     let params = self.params;
-    //     let args = self
-    //         .fsort
-    //         .inputs_and_output
-    //         .iter()
-    //         .map(|arg| arg.param_subst(subst))
-    //         .collect();
-    //     PolyFuncSort { params, fsort: FuncSort { inputs_and_output: args } }
-    // }
 }
 
 #[derive(Clone)]