Profile Flux

[nilehmann]

When checking veriasm in my laptop, Flux spends 12s in this call

flux/crates/flux-driver/src/callbacks.rs

Line 90 in 50e349d

flux_fhir_analysis::check_crate_wf(genv)?;

That call includes desugaring, sort checking, and conversion of all items but it does not include any refinement type checking. The time feels excessive since all the analyses before refinement type checking should be straightforward. It's not too terrible, but we could investigate. We'll likely find some very low-hanging fruit.