()
| 3952 | } |
| 3953 | all_metas.insert(ind.ind.cnst.name.clone(), meta); |
| 3954 | }, |
| 3955 | MutConst::Recr(rec) => { |
| 3956 | let (data, meta) = compile_recursor(rec, &mut_ctx, cache, stt)?; |
| 3957 | if !representative_pushed { |
| 3958 | ixon_mutuals.push(IxonMutConst::Recr(data)); |
| 3959 | representative_pushed = true; |
| 3960 | } |
| 3961 | all_metas.insert(rec.cnst.name.clone(), meta); |
| 3962 | }, |
| 3963 | } |
| 3964 | } |
| 3965 | } |
| 3966 |
nothing calls this directly
no test coverage detected