Allow a MIR analysis to perform the state `join` directly#114900

Closed

Jarcho wants to merge 1 commit intorust-lang:masterfrom

Jarcho:mut_join

Commits on Feb 25, 2024

Implement dataflow state joins through the analysis. Make `JoinSemiLattice` the default implementation when the join does not require extra context.
Jarcho
committed