After the generic dataflow framework required for dataflow-based const validation was merged in #64566, one pending task was to merge this framework with the existing bitvector one (
BitDenotation). I've written up a design document that describes a prototype of a unified dataflow framework that I've implemented.
The design doc is still incomplete, but hopefully gives enough background info for people to understand the concerns here.
It might make sense to try to schedule a design meeting for this?
@mark-i-m How would one go about this?
I think I'm supposed to open an issue on the rust-lang/compiler-team repo?
here us an example: https://github.com/rust-lang/compiler-team/issues/188
Meeting proposed in rust-lang/compiler-team#202
I've also posted a draft PR containing the prototype in #65672