Stream: wg-traits

Topic: Generic bounds & closures


centril (Mar 06 2019 at 22:14, on Zulip):

@Aaron Turon I'm done with the majority of tests for associated_type_bounds that I owed @Alexander Regueiro and the type Foo = impl Bar; FCP is written (https://github.com/rust-lang/rfcs/pull/2515#issuecomment-467238637) ... I think I'll be starting work on RFCs for generic bounds & closures starting probably with one for for<'a: 'b> + dyn<'a: 'b>HRTBs and then moving on to for<'a> |x: &'a u8| x as an expression form.

centril (Mar 06 2019 at 22:15, on Zulip):

After that I think we can start thinking more about type-generic bounds (for<T>) and extending that to generic closures too; and after that there's probably inference for generic closures to think about

Aaron Turon (Mar 06 2019 at 22:18, on Zulip):

thanks @centril! i'll look over the FCP comment ASAP

centril (Mar 06 2019 at 22:21, on Zulip):

@Aaron Turon thanks!

Last update: Nov 12 2019 at 15:30UTC