# Proposal: A Unified Framework for Dataflow Analysis [Dataflow-based const validation][#64470] required a more generic dataflow framework with support for arbitrary transfer functions. This new framework was implemented in [rust-lang/rust#64566][#64566]. As a result, there are presently two separate frameworks for dataflow analysis that don't share any code. The goal of this design document is a plan to merge the two frameworks into one. I have implemented [a prototype][proto] that accomplish