hey @nikomatsakis I wrote some notes on this ticket. Essentially I think it should closed as "not a bug." But I wanted to perhaps get some other eyeballs on it first to double-check my reasoning about why its not a bug.
ah further discussion with @eddyb led me to close the ticket.
quickly skimming, sounds good