@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.
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
thanks @centril! i'll look over the FCP comment ASAP
@Aaron Turon thanks!