add utility to find converters

Author: bongjunj

cranelift/isle/isle/src/sema.rs

@@ -2621,6 +2621,11 @@ impl TermEnv {
             .and_then(|sym| self.term_map.get(&sym))
             .copied()
     }
+
+    /// Lookup a declared implicit converter term for `(inner_ty, outer_ty)`.
+    pub fn get_converter_term_id(&self, inner_ty: TypeId, outer_ty: TypeId) -> Option<TermId> {
+        self.converters.get(&(inner_ty, outer_ty)).copied()
+    }
 }
 
 #[cfg(test)]