Stream: t-compiler/wg-rls-2.0

Topic: lifetime parameter constaints


Sebastian Zimmer (Nov 27 2019 at 22:19, on Zulip):

Looks like at the moment constaints of the form T: 'a end up being interpreted as {error}. Presumably this is expected, since I don't see any code that looks like it could handle them. Are there plans to add syntactic support for them (i.e. we display them in inferred types but don't check them), or are waiting for borrow checking with polonius to be added.

Florian Diebold (Nov 27 2019 at 22:30, on Zulip):

I think borrow checking is very far off. It would be possible to add enough support to display lifetime bounds, but really I think it'd be better to just leave them out completely for now

Last update: Dec 12 2019 at 00:45UTC