rust/src
Matthias Krüger 84878336b0
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``
2021-12-13 18:15:16 +01:00
..
bootstrap bootstrap: Change unwrap() to expect() for WIX path 2021-12-12 03:31:40 +05:30
build_helper Migrate to 2021 2021-09-20 22:21:42 -04:00
ci Rollup merge of #90550 - ehuss:update-ca, r=Mark-Simulacrum 2021-12-08 11:08:56 +01:00
doc Rollup merge of #91310 - hi-rustin:rustin-patch-rustdoc, r=jyn514 2021-12-11 08:22:30 +01:00
etc Implement @snapshot check for htmldocck 2021-12-01 15:12:10 -08:00
librustdoc Rollup merge of #91846 - camelid:doctest-cleanup, r=GuillaumeGomez 2021-12-13 18:15:14 +01:00
llvm-project@8404254254 Update LLVM submodule 2021-12-08 11:05:48 +01:00
rustdoc-json-types Moved format-version constant to rustdoc-json-types 2021-10-15 12:27:42 +03:00
test Rollup merge of #91849 - jackh726:gats-outlives-lint-part2, r=nikomatsakis 2021-12-13 18:15:16 +01:00
tools Auto merge of #91549 - fee1-dead:const_env, r=spastorino 2021-12-12 22:15:32 +00:00
README.md
stage0.json Bump bootstrap compiler 2021-11-30 10:44:21 -05:00
version Bump to 1.59 2021-11-26 14:53:55 -05:00

This directory contains the source code of the rust project, including:

  • The test suite
  • The bootstrapping build system
  • Various submodules for tools, like rustdoc, rls, etc.

For more information on how various parts of the compiler work, see the rustc dev guide.