Stream: general

Topic: nested associated type bounds

Jake Goulding (Jan 01 2019 at 20:01, on Zulip):

@centril isn't there something in the pipes for nesting associated type syntax? e.g. Foo::Bar::Baz: Clone

centril (Jan 01 2019 at 22:48, on Zulip):

@Jake Goulding not that I'm aware; there is MyTrait<Assoc: Bound> planned tho

Jake Goulding (Jan 01 2019 at 23:53, on Zulip):

Ah, maybe that's what I'm thinking of. Is that an RFC I can poke at?

centril (Jan 01 2019 at 23:53, on Zulip):

@Jake Goulding here: -- I believe @Alexander Regueiro has started implementing it :slight_smile:

Jake Goulding (Jan 02 2019 at 00:08, on Zulip):

Does this help with the nested case at all (beyond the one step)?

centril (Jan 02 2019 at 00:09, on Zulip):

@Jake Goulding yes in the sense that you can write Foo: Bar<Baz: Quux<Wibble: Wobble>>

Jake Goulding (Jan 02 2019 at 02:07, on Zulip):

And that should work in any trait bound position, yeah? Like

trait Note {
    type FieldsIter: Iterator<Item: AsRef<str>>;
Jake Goulding (Jan 02 2019 at 02:09, on Zulip):

And do you think the RFC should supersede ?

Vadim Petrochenkov (Jan 02 2019 at 12:57, on Zulip):

@Jake Goulding
That's an orthogonal issue.

centril (Jan 02 2019 at 15:35, on Zulip):

@Jake Goulding sure, that should work

Jake Goulding (Jan 02 2019 at 17:23, on Zulip):

That's an orthogonal issue.

I was thinking it might be different, but figured I'd let y'all with more context decide ;-)

Last update: Jul 02 2020 at 12:30UTC