Stream: t-compiler

Topic: references to boxed trait objects


Jake Goulding (Oct 29 2018 at 17:45, on Zulip):

Why is &'a Box<Trait> treated as &'a Box<Trait + 'static> and not &'a Box<Trait + 'a>?

Jake Goulding (Oct 29 2018 at 17:46, on Zulip):

I'm guessing that details changed during the implementation (again, I wish those were documented in the RFC after the fact).

nikomatsakis (Oct 30 2018 at 14:54, on Zulip):

@Jake Goulding those rules were set by RFC 1156

Regarding updating RFCs, I think what you really wish is that we had an up-to-date and more complete language reference.

Jake Goulding (Oct 30 2018 at 15:17, on Zulip):

That would also be nice. The problem is that RFCs exist but the reference doesn't, really.

Jake Goulding (Oct 30 2018 at 15:17, on Zulip):

Nobody likes writing documentation.

Jake Goulding (Oct 30 2018 at 15:18, on Zulip):

But we require the RFC to be written, so it exists.

Jake Goulding (Oct 30 2018 at 15:18, on Zulip):

theoretically we require docs to be written when a feature is "done", but point me to some user-facing documentation that says impl trait exists :sad:

nikomatsakis (Oct 30 2018 at 15:20, on Zulip):

https://rust-lang-nursery.github.io/edition-guide/rust-2018/index.html

nikomatsakis (Oct 30 2018 at 15:20, on Zulip):

but yes I think that addressing our "reference" needs is something I would like to see make it onto the Rust 2018 roadmap

Jake Goulding (Oct 30 2018 at 15:23, on Zulip):

@nikomatsakis the "problem" with the edition guide is that it's not on https://doc.rust-lang.org. For many end-users, it's the same as an arbitrary blog.

nikomatsakis (Oct 30 2018 at 15:28, on Zulip):

maybe we should ping @Steve Klabnik and fix that :)

nikomatsakis (Oct 30 2018 at 15:28, on Zulip):

and/or open a PR for that...

nikomatsakis (Oct 30 2018 at 15:28, on Zulip):

I'll raise the question

nikomatsakis (Oct 30 2018 at 15:28, on Zulip):

would be a good thing to have at least once we announce the edition

davidtwco (Oct 30 2018 at 15:28, on Zulip):

Wasn't that raised already?

davidtwco (Oct 30 2018 at 15:28, on Zulip):

For my PR that linked it in a diagnostic message.

nikomatsakis (Oct 30 2018 at 15:29, on Zulip):

I believe we moved it to a new location

nikomatsakis (Oct 30 2018 at 15:29, on Zulip):

I don't know if we were going to list it from that page or not

davidtwco (Oct 30 2018 at 15:29, on Zulip):

I read @Jake Goulding's message as "it isn't hosted under d.r-l.o" instead of "it isn't listed on the page at d.r-l.o"

nikomatsakis (Oct 30 2018 at 15:30, on Zulip):

ah, I know we had planned to change that URL, yes

nikomatsakis (Oct 30 2018 at 15:30, on Zulip):

steve says "that's the plan, but in a few weeks" (re: listing on doc.rust-lang.org)

Jake Goulding (Oct 30 2018 at 15:31, on Zulip):

but in a few weeks

I don't know how that plays with the fact that the docs there ride the trains... but "not my circus, not my monkeys"

Jake Goulding (Oct 30 2018 at 15:32, on Zulip):

I guess they can merge to the master, release, and beta branches

Pietro Albini (Oct 30 2018 at 15:32, on Zulip):

I guess that's going to be backported to beta

Jake Goulding (Oct 30 2018 at 15:32, on Zulip):

well, in a few weeks it's just beta, not release

Pietro Albini (Oct 30 2018 at 15:33, on Zulip):

well, it's a month and half until the next release, I think we can manage to backport it before 1.31

Last update: Nov 16 2019 at 01:20UTC