Test snapshot with no field include from bundle.

cryspen · Feb 3, 2025 · 0f1fc51 · 0f1fc51
1 parent 72c8a92
commit 0f1fc51
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/test-harness/src/snapshots/toolchain__cyclic-modules into-fstar.snap b/test-harness/src/snapshots/toolchain__cyclic-modules into-fstar.snap
@@ -247,11 +247,7 @@ include Cyclic_modules.Bundle_enums_a {T_B__from__enums_a as T_B}
 
 include Cyclic_modules.Bundle_enums_a {T_C__from__enums_a as T_C}
 
-include Cyclic_modules.Bundle_enums_a {_0 as _0}
-
 include Cyclic_modules.Bundle_enums_a {T_D as T_D}
-
-include Cyclic_modules.Bundle_enums_a {_0 as _0}
 '''
 "Cyclic_modules.Enums_b.fst" = '''
 module Cyclic_modules.Enums_b
@@ -267,8 +263,6 @@ include Cyclic_modules.Bundle_enums_a {U_B as U_B}
 
 include Cyclic_modules.Bundle_enums_a {U_C as U_C}
 
-include Cyclic_modules.Bundle_enums_a {_0 as _0}
-
 include Cyclic_modules.Bundle_enums_a {t_T__from__enums_b as t_T}
 
 include Cyclic_modules.Bundle_enums_a {T_A as T_A}
@@ -277,8 +271,6 @@ include Cyclic_modules.Bundle_enums_a {T_B as T_B}
 
 include Cyclic_modules.Bundle_enums_a {T_C as T_C}
 
-include Cyclic_modules.Bundle_enums_a {_0 as _0}
-
 include Cyclic_modules.Bundle_enums_a {f as f}
 '''
 "Cyclic_modules.Late_skip_a.fst" = '''
@@ -373,15 +365,11 @@ include Cyclic_modules.Bundle_typ_a {t_TRec as t_TRec}
 
 include Cyclic_modules.Bundle_typ_a {TRec_T as TRec_T}
 
-include Cyclic_modules.Bundle_typ_a {_0 as _0}
-
 include Cyclic_modules.Bundle_typ_a {TRec_Empty as TRec_Empty}
 
 include Cyclic_modules.Bundle_typ_a {t_T as t_T}
 
 include Cyclic_modules.Bundle_typ_a {T_T as T_T}
-
-include Cyclic_modules.Bundle_typ_a {_0 as _0}
 '''
 "Cyclic_modules.Typ_b.fst" = '''
 module Cyclic_modules.Typ_b
@@ -393,14 +381,10 @@ include Cyclic_modules.Bundle_typ_a {t_T1Rec as t_T1Rec}
 
 include Cyclic_modules.Bundle_typ_a {T1Rec_T1 as T1Rec_T1}
 
-include Cyclic_modules.Bundle_typ_a {_0 as _0}
-
 include Cyclic_modules.Bundle_typ_a {t_T2Rec as t_T2Rec}
 
 include Cyclic_modules.Bundle_typ_a {T2Rec_T2 as T2Rec_T2}
 
-include Cyclic_modules.Bundle_typ_a {_0 as _0}
-
 include Cyclic_modules.Bundle_typ_a {t_T1_cast_to_repr as t_T1_cast_to_repr}
 
 include Cyclic_modules.Bundle_typ_a {t_T1 as t_T1}
@@ -410,8 +394,6 @@ include Cyclic_modules.Bundle_typ_a {T1_T1 as T1_T1}
 include Cyclic_modules.Bundle_typ_a {t_T2 as t_T2}
 
 include Cyclic_modules.Bundle_typ_a {T2_T2 as T2_T2}
-
-include Cyclic_modules.Bundle_typ_a {_0 as _0}
 '''
 "Cyclic_modules.Variant_constructor_a.fst" = '''
 module Cyclic_modules.Variant_constructor_a
@@ -423,12 +405,8 @@ include Cyclic_modules.Bundle_variant_constructor_a {t_Context as t_Context}
 
 include Cyclic_modules.Bundle_variant_constructor_a {Context_A as Context_A}
 
-include Cyclic_modules.Bundle_variant_constructor_a {_0 as _0}
-
 include Cyclic_modules.Bundle_variant_constructor_a {Context_B as Context_B}
 
-include Cyclic_modules.Bundle_variant_constructor_a {_0 as _0}
-
 include Cyclic_modules.Bundle_variant_constructor_a {f as f}
 
 include Cyclic_modules.Bundle_variant_constructor_a {impl__test as impl_Context__test}