Stream: wg-traits

Topic: subgoal_cycle_uninhabited


Jack Huey (Jan 06 2020 at 21:09, on Zulip):

@nikomatsakis Can you see what's wrong with the program here: https://github.com/rust-lang/chalk/pull/317/files#diff-89813e240fc3a9c6dc98c7a56b209353R191

Jack Huey (Jan 06 2020 at 21:10, on Zulip):

It's identical to this https://github.com/rust-lang/chalk/pull/317/files#diff-89813e240fc3a9c6dc98c7a56b209353R248 except for the impl

Jack Huey (Jan 06 2020 at 21:10, on Zulip):

But gives me a well-formed error

Jack Huey (Jan 06 2020 at 21:10, on Zulip):

(or if I add the impl, an overlapping impl error)

nikomatsakis (Jan 06 2020 at 21:10, on Zulip):

I think the slg tests didn't run the WF checks

nikomatsakis (Jan 06 2020 at 21:10, on Zulip):

but I'm not sure

nikomatsakis (Jan 06 2020 at 21:10, on Zulip):

I was just checking on that

Jack Huey (Jan 06 2020 at 21:11, on Zulip):

yes, I checked and it seems they did

Jack Huey (Jan 06 2020 at 21:11, on Zulip):

it called checked_program

nikomatsakis (Jan 06 2020 at 21:11, on Zulip):

yeah ok I see that

nikomatsakis (Jan 06 2020 at 21:11, on Zulip):

I take it back then :)

Jack Huey (Jan 06 2020 at 21:12, on Zulip):

I'm just really confused

nikomatsakis (Jan 06 2020 at 21:12, on Zulip):

But gives me a well-formed error

what is the error exactly?

Jack Huey (Jan 06 2020 at 21:13, on Zulip):

thread 'test::misc::subgoal_cycle_uninhabited' panicked at 'called `Result::unwrap()` on an `Err` value: ChalkError { error_text: "trait impl for `Foo` does not meet well-formedness requirements" }'

Jack Huey (Jan 06 2020 at 21:13, on Zulip):

oops formatting

nikomatsakis (Jan 06 2020 at 21:19, on Zulip):

so if you add the second impl, you get an overlap error?

Jack Huey (Jan 06 2020 at 21:22, on Zulip):

yes

Last update: Jun 07 2020 at 10:45UTC