@nikomatsakis @Josh Triplett so how do we proceed with https://github.com/rust-lang/rust/pull/71607? Was there consensus that this is the only possible option and thus we should land the PR, or are there things to discuss?
@RalfJ I just posted a detailed explanation of the scenario I'm concerned about. Would you mind taking a look and explaining if the scenario I outlined is possible, or if you're saying it can't happen?
@Josh Triplett thanks! I posted a response.