remove lifetimes from json trace

flux-rs · Dec 6, 2024 · 52aba72 · 52aba72
1 parent c908b24
commit 52aba72
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/flux-refineck/src/type_env.rs b/crates/flux-refineck/src/type_env.rs
@@ -899,7 +899,7 @@ fn loc_string(local_names: &UnordMap<Local, Symbol>, loc: &Loc) -> Option<String
 impl TypeEnvTrace {
     pub fn new(genv: GlobalEnv, local_names: &UnordMap<Local, Symbol>, env: &TypeEnv) -> Self {
         let mut bindings = vec![];
-        let cx = PrettyCx::default_with_genv(genv);
+        let cx = PrettyCx::default_with_genv(genv).hide_regions(true);
         env.bindings
             .iter()
             .filter(|(_, binding)| !binding.ty.is_uninit())