diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-12-13 18:15:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-13 18:15:16 +0100 |
| commit | 84878336b05f1dcdff6f2a55b6b66d5fa6f2e82e (patch) | |
| tree | 922205b28a71aaf72812e55e06c181001d88d113 /compiler/rustc_plugin_impl/src | |
| parent | f8de2f56e8628ec830d2bfd77a30f681f27bb46a (diff) | |
| parent | 48974158f1ce88dca7edd66c7bae81e759c2679d (diff) | |
| download | rust-84878336b05f1dcdff6f2a55b6b66d5fa6f2e82e.tar.gz rust-84878336b05f1dcdff6f2a55b6b66d5fa6f2e82e.zip | |
Rollup merge of #91849 - jackh726:gats-outlives-lint-part2, r=nikomatsakis
GATs outlives lint: Try to prove bounds Fixes #91036 Fixes #90888 Fixes #91348 (better error + documentation to be added to linked issue) Instead of checking for bounds directly, try to prove them in the associated type environment. Also, add a bit of extra information to the error, including a link to the relevant discussion issue (#87479). That should be edited to include a brief summary of the current state of the outlives lint, including a brief background. It also might or might not be worth it to bump this to a full error code at some point. r? ``@nikomatsakis``
Diffstat (limited to 'compiler/rustc_plugin_impl/src')
0 files changed, 0 insertions, 0 deletions