Stream: t-compiler/wg-nll

Topic: weekly meeting 2019.01.23


nikomatsakis (Jan 23 2019 at 20:32, on Zulip):

Hello @WG-compiler-nll -- triage meeting =)

nikomatsakis (Jan 23 2019 at 20:32, on Zulip):

Plan is to have a longer, steering meeting tomorrow at 1pm UTC-5

Santiago Pastorino (Jan 23 2019 at 20:32, on Zulip):

hi

nikomatsakis (Jan 23 2019 at 20:32, on Zulip):

Paper document

nikomatsakis (Jan 23 2019 at 20:34, on Zulip):

We have one nominated issue, NLL accepts higher-ranked subtype that non-NLL rejects #57642

nikomatsakis (Jan 23 2019 at 20:34, on Zulip):

This will become an issue once we move past NLL migration mode

nikomatsakis (Jan 23 2019 at 20:35, on Zulip):

(We haven't really setup a way to track that yet, have we?)

nikomatsakis (Jan 23 2019 at 20:35, on Zulip):

I wonder if a GH project is the right thing here

nikomatsakis (Jan 23 2019 at 20:35, on Zulip):

(also related to @Matthew Jasper's work on #57804)

nikomatsakis (Jan 23 2019 at 20:36, on Zulip):

maybe that implies a tracking issue is the way to go

nikomatsakis (Jan 23 2019 at 20:36, on Zulip):

discussing this sort of thing is perhaps exactly what we should discuss in the steering meeting tomorrow though =)

nikomatsakis (Jan 23 2019 at 20:36, on Zulip):

so maybe we leave that for now

Matthew Jasper (Jan 23 2019 at 20:36, on Zulip):

Should we assign someone to the issue?

nikomatsakis (Jan 23 2019 at 20:36, on Zulip):

we could, it'd be ok to assign to me

nikomatsakis (Jan 23 2019 at 20:37, on Zulip):

let's do that and un-nominate I guess for now

nikomatsakis (Jan 23 2019 at 20:37, on Zulip):

(unless someone else wants to investigate, which is fine for me)

lqd (Jan 23 2019 at 20:37, on Zulip):

the error message part of this issue is I feel covered by the other higher-rank errors issues we're working on rn

nikomatsakis (Jan 23 2019 at 20:38, on Zulip):

yes, I think so too (ps @lqd next on my list for today is to get back to you in that other topic :)

nikomatsakis (Jan 23 2019 at 20:38, on Zulip):

well, let's look at some of the other trigae links I guess

nikomatsakis (Jan 23 2019 at 20:38, on Zulip):

e.g., uncategorized issues

nikomatsakis (Jan 23 2019 at 20:38, on Zulip):

those are lacking a NLL-foo designation; I guess it's not obviously imporatnt to do that together

nikomatsakis (Jan 23 2019 at 20:40, on Zulip):

ICE when type checking partially annotated patterns #57531 -- an ICE, seems obscure-ish, NLL-complete

lqd (Jan 23 2019 at 20:40, on Zulip):

are the impl_trait_in_bindings ICEs "important" ?

nikomatsakis (Jan 23 2019 at 20:40, on Zulip):

I don't really think so

nikomatsakis (Jan 23 2019 at 20:40, on Zulip):

they're also not NLL

nikomatsakis (Jan 23 2019 at 20:40, on Zulip):

(I mean we know we need to work on it)

nikomatsakis (Jan 23 2019 at 20:40, on Zulip):

we should probably just list them in some tracking issue

lqd (Jan 23 2019 at 20:41, on Zulip):

sure we'll fix them eventually :)

lqd (Jan 23 2019 at 20:42, on Zulip):

@Matthew Jasper are you fuzzing rustc to find these issues ? :)

Matthew Jasper (Jan 23 2019 at 20:42, on Zulip):

I'm not sure if there even is a tracking issue for impl trait in bindings

Matthew Jasper (Jan 23 2019 at 20:42, on Zulip):

Which ones?

lqd (Jan 23 2019 at 20:43, on Zulip):

#57531 for example

nikomatsakis (Jan 23 2019 at 20:44, on Zulip):

I'm not sure if there even is a tracking issue for impl trait in bindings

maybe not, we should make one...

Matthew Jasper (Jan 23 2019 at 20:44, on Zulip):

I found that because I was trying something for #57714 that made the ICE much easier to come across

nikomatsakis (Jan 23 2019 at 20:44, on Zulip):

(sorry, had to restart my browser for some reason)

nikomatsakis (Jan 23 2019 at 20:44, on Zulip):

the other things in that list of missing NLL-foo tags are mostly old

lqd (Jan 23 2019 at 20:44, on Zulip):

in any case it seems Matthew has a fix in flight for #57531

nikomatsakis (Jan 23 2019 at 20:45, on Zulip):

maybe we need something like NLL-reference

lqd (Jan 23 2019 at 20:45, on Zulip):

(btw awesome job @Matthew Jasper :thumbs_up:)

nikomatsakis (Jan 23 2019 at 20:49, on Zulip):

OK, I added a NLL-reference

nikomatsakis (Jan 23 2019 at 20:49, on Zulip):

and tagged remaining issues

lqd (Jan 23 2019 at 20:49, on Zulip):

felix wanted to check #55526 with t-lang ?

nikomatsakis (Jan 23 2019 at 20:50, on Zulip):

the only issue left is NLL error on closure, but not on equivalent function #55526

nikomatsakis (Jan 23 2019 at 20:50, on Zulip):

yes, I mean, it's not really a matter of "checking" per se

nikomatsakis (Jan 23 2019 at 20:50, on Zulip):

it's basically that there's some design work needed

nikomatsakis (Jan 23 2019 at 20:50, on Zulip):

to figure out best approach

nikomatsakis (Jan 23 2019 at 20:50, on Zulip):

I'm not 100% sure how to categorize it :)

nikomatsakis (Jan 23 2019 at 20:50, on Zulip):

I guess NLL-complete

nikomatsakis (Jan 23 2019 at 20:51, on Zulip):

anyway, is there more triage work we ought to do ?

Matthew Jasper (Jan 23 2019 at 20:51, on Zulip):

That's probably the closest

nikomatsakis (Jan 23 2019 at 20:51, on Zulip):

seems like we could adjourn until tomorrow, to discuss the larger questions when @pnkfelix is here

lqd (Jan 23 2019 at 20:51, on Zulip):

meeting efficiency: :100:

lqd (Jan 23 2019 at 20:53, on Zulip):

see you all tomorrow :wave:

Last update: Nov 22 2019 at 00:45UTC