()
| 3935 | let mut all_metas: FxHashMap<Name, ConstantMeta> = FxHashMap::default(); |
| 3936 | |
| 3937 | for class in &sorted_classes { |
| 3938 | // Only push one representative per equivalence class into ixon_mutuals, |
| 3939 | // since alpha-equivalent constants compile to identical data and share |
| 3940 | // the same class index in MutConst::ctx. |
| 3941 | let mut representative_pushed = false; |
| 3942 | for cnst in class { |
| 3943 | match cnst { |
| 3944 | MutConst::Defn(def) => { |
| 3945 | let (data, meta) = compile_definition(def, &mut_ctx, cache, stt)?; |
| 3946 | if !representative_pushed { |
| 3947 | ixon_mutuals.push(IxonMutConst::Defn(data)); |
| 3948 | representative_pushed = true; |
| 3949 | } |
| 3950 | all_metas.insert(def.name.clone(), meta); |
| 3951 | }, |
| 3952 | MutConst::Indc(ind) => { |
| 3953 | let (data, meta, ctor_metas_vec) = |
| 3954 | compile_inductive(ind, &mut_ctx, cache, stt)?; |
nothing calls this directly
no test coverage detected