snapshot

cryspen · Nov 28, 2024 · d58eb4f · d58eb4f
1 parent a1d69f1
commit d58eb4f
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/test-harness/src/snapshots/toolchain__traits into-fstar.snap b/test-harness/src/snapshots/toolchain__traits into-fstar.snap
@@ -55,7 +55,7 @@ open FStar.Mul
 class t_Bar (v_Self: Type0) (v_T: Type0) = { __marker_trait_t_Bar:Prims.unit }
 
 class t_Foo (v_Self: Type0) = {
-  [@@@ FStar.Tactics.Typeclasses.no_method]_super_12056653545434731362:t_Bar v_Self f_U;
+  [@@@ FStar.Tactics.Typeclasses.no_method]_super_5461126672499050919:t_Bar v_Self f_U;
   f_U:Type0
 }
 '''
@@ -391,7 +391,7 @@ class t_SubTrait (v_Self: Type0) (v_TypeArg: Type0) (v_ConstArg: usize) = {
     v_TypeArg
     v_ConstArg;
   f_AssocType:Type0;
-  f_AssocType_10469511598065652520:t_Trait f_AssocType v_TypeArg v_ConstArg
+  f_AssocType_5566993444404141271:t_Trait f_AssocType v_TypeArg v_ConstArg
 }
 '''
 "Traits.Interlaced_consts_types.fst" = '''
@@ -468,7 +468,7 @@ open FStar.Mul
 
 class t_Trait1 (v_Self: Type0) = {
   f_T:Type0;
-  f_T_1640036513185240095:t_Trait1 f_T
+  f_T_7805326132379548775:t_Trait1 f_T
 }
 
 class t_Trait2 (v_Self: Type0) = {
@@ -613,8 +613,8 @@ let use_impl_trait (_: Prims.unit) : Prims.unit =
 
 class t_Foo (v_Self: Type0) = {
   f_AssocType:Type0;
-  f_AssocType_15525962639250476383:t_SuperTrait f_AssocType;
-  f_AssocType_17265963849229885182:Core.Clone.t_Clone f_AssocType;
+  f_AssocType_15012754260415912210:t_SuperTrait f_AssocType;
+  f_AssocType_3242921639065184873:Core.Clone.t_Clone f_AssocType;
   f_N:usize;
   f_assoc_f_pre:Prims.unit -> Type0;
   f_assoc_f_post:Prims.unit -> Prims.unit -> Type0;
@@ -651,7 +651,7 @@ let g (#v_T: Type0) (#[FStar.Tactics.Typeclasses.tcresolve ()] i1: t_Foo v_T) (x
 let impl_Foo_for_tuple_: t_Foo Prims.unit =
   {
     f_AssocType = i32;
-    f_AssocType_15525962639250476383 = FStar.Tactics.Typeclasses.solve;
+    f_AssocType_15012754260415912210 = FStar.Tactics.Typeclasses.solve;
     f_N = sz 32;
     f_assoc_f_pre = (fun (_: Prims.unit) -> true);
     f_assoc_f_post = (fun (_: Prims.unit) (out: Prims.unit) -> true);