Do we have some concrete concerns that it would be great for LLVM to take into account? Does someone want to join that discussion to represent Rust’s interests over there?
It seems like the proposal’s more-explicit representation of “based-on” would work better for Rust than the existing scopes thing, but I need to think about it some more. (I just saw this as I was about to go to bed… )