Stream: wg-traits

Topic: how do inductive + co-inductive reasoning interact? #60010


pnkfelix (Apr 17 2019 at 10:30, on Zulip):

Hi @WG-traits , I'm looking for some assistance in understanding how we are supposed to be handling a peculiar case.

pnkfelix (Apr 17 2019 at 10:30, on Zulip):

I've posted some notes here: https://github.com/rust-lang/rust/issues/60010#issuecomment-484028251

Last update: Nov 12 2019 at 16:30UTC