From b5c6127b2f4bd541a235d7928a4fa008ac1d0e26 Mon Sep 17 00:00:00 2001 From: Alec Mocatta Date: Thu, 13 Sep 2018 16:31:19 +0100 Subject: [PATCH] Combining HRTBs with associated types I'm working on data-parallelism library, heavily inspired by Rayon but focused on describing certain computations on a dataset in an SQL-like manner, somewhat akin to Diesel. One part of this combines HRTBs with associated types. I've bumped into a few issues that have made things a bit tricky ([#30472](https://github.com/rust-lang/rust/issues/30472), [#30867](https://github.com/rust-lang/rust/issues/30867), [#53943](https://github.com/rust-lang/rust/issues/53943), and similar), the hardest to work around however has been that I don't believe it's currently possible to write this: ```rust type Task = for<'a> >::Task; ``` Currently I've resorted to a dummy trait, manually reimplemented on various structs without the reference, such that I can do: ```rust type Task = >::Task; ``` and (horribly) transmute between the two. I'd be very interested to discuss 1) issues I've bumped into combining HRTBs and associated types; 2) how to get rid of this transmute and the dummy trait; 3) any feedback on the library before I publish and promote it, given it's heavily inspired by your work on Rayon! I can do any of the Monday or Friday times listed, though I have a preference for the 16 - 16.30 slots. Again, much appreciation for you doing this, I think it's awesome! --- 2018/09.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/2018/09.md b/2018/09.md index 3e65a51..07722df 100644 --- a/2018/09.md +++ b/2018/09.md @@ -36,7 +36,10 @@ Unassigned. Level: Any Time: 16 - 16:30 (UTC-4) -Unassigned. +Alec Mocatta – Combining HRTBs with associated types
+(preferred) Email: alec@mocatta.net
+Discord: alecmocatta#8569
+Twitter: [@alecmocatta](https://twitter.com/alecmocatta) **Monday, Sep 24.**