Closed
Description
In #80106, we found that the obligation passed to confirm_auto_impl_candidate usually doesn't have bound vars. But some code in the docs triggered an assertion. This isn't covered in the test suite right now. I'm going to try to get some time to extract out a test, but filing this in case I can't.
The CI run with the failed build: https://github.com/rust-lang-ci/rust/runs/1579355170
Metadata
Metadata
Assignees
Labels
Area: Trait systemCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Relevant to the compiler team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.