Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #80176 Unsoundness in type checking of trait i…


triagebot (Dec 20 2020 at 00:38, on Zulip):

Issue #80176's prioritization request has been removed.

Camelid (Dec 20 2020 at 00:39, on Zulip):

Issue renamed; original thread at https://rust-lang.zulipchat.com/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380176.20Segfault.20in.20stable.20and.20nightly.20safe.20rus.E2.80.A6

Last update: Apr 15 2021 at 02:15UTC