Stream trait and related issues about lang-team

[nikomatsakis]

We were thinking of scheduling this for Aug 12 -- cc @withoutboats @nellshamrell @cramertj and @yoshuawuyts are y'all available on that date for the lang team design slot? (And others, those are folks who expressed interest to me in the past...)

[yoshuawuyts]

@nikomatsakis yes, that works for me!

[nellshamrell]

Works for me!

[nikomatsakis]

Scheduled: calendar event

[cramertj]

Yes, I'll be there!

[nikomatsakis]

Hmm, so I think we ought to postpone this by a week. In light of the Mozilla layoffs there is an important meeting that I have to attend that conflicts with this slot.

[nikomatsakis]

I took the liberty of moving calendar invite to Aug 19.

[LucioFranco]

That cal event shows may 13th? Just to confirm this is aug 18 at 1p eastern time?

[tmandry]

Looks like this was bumped again to next week.

[nikomatsakis]

Minutes posted: https://github.com/rust-lang/lang-team/blob/master/design-meeting-minutes/2020-08-26-stream-trait.md

[programmerjake]

@nikomatsakis looks like you accidentally posted the wrong url