Stream: t-lang

Topic: PR #71607 (interaction of pin drop guarantee and panics)

RalfJ (May 21 2020 at 17:26, on Zulip):

@nikomatsakis @Josh Triplett so how do we proceed with Was there consensus that this is the only possible option and thus we should land the PR, or are there things to discuss?

Josh Triplett (May 21 2020 at 18:58, on Zulip):

@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?

RalfJ (May 21 2020 at 19:36, on Zulip):

@Josh Triplett thanks! I posted a response.

Last update: Jun 05 2020 at 23:20UTC