diff options
| author | bors <bors@rust-lang.org> | 2020-10-06 12:26:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-10-06 12:26:54 +0000 |
| commit | 08e2d4616613716362b4b49980ff303f2b9ae654 (patch) | |
| tree | 3140f61b9128491dae42380b257532428869d1e8 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | 5849a7eca90582ee59b67eb09548a2aa424d7f52 (diff) | |
| parent | 69fc6d8c5c27da57a399a3f5ab51f2ecf2bb954a (diff) | |
| download | rust-08e2d4616613716362b4b49980ff303f2b9ae654.tar.gz rust-08e2d4616613716362b4b49980ff303f2b9ae654.zip | |
Auto merge of #73905 - matthewjasper:projection-bounds-2, r=nikomatsakis
Separate projection bounds and predicates Follow up to #72788. - Rename `projection_predicates` to `item_bounds` - Separate bounds on associated types (the things after the `:` in `type X: ...`) and opaque types (the things after `impl`) from predicates. - Projection candidates now have the correct nested obligations - Trait object candidates now check that the associated types on the trait object satisfy their bounds as nested obligations - Type alias impl trait types are now checked (#73035) - `feature(generic_associated_types)` no longer changes how we handle bounds (#73816) Opening for a perf and crater runs. r? `@nikomatsakis`
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions