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 ( ... 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: Jul 03 2020 at 16:05UTC