diff options
| author | bors <bors@rust-lang.org> | 2018-04-10 00:32:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-04-10 00:32:54 +0000 |
| commit | a8a8d6b5bf3ed8ca61adca172252bea7d1f1166e (patch) | |
| tree | 2aae04b21ce56b15a504698a4512445312e31c88 /src/libsyntax | |
| parent | 880fbd7c4e663f9cfbffb7603ce9a6932a15effd (diff) | |
| parent | 7ac35eaa12c4a1185a7a18fad6d8f39139ca668c (diff) | |
| download | rust-a8a8d6b5bf3ed8ca61adca172252bea7d1f1166e.tar.gz rust-a8a8d6b5bf3ed8ca61adca172252bea7d1f1166e.zip | |
Auto merge of #49435 - tmandry:rule-implied-bound-from-trait, r=nikomatsakis
chalkify: Implement lowering rule Implied-Bound-From-Trait For #49177. TODO: - [x] Implement where clauses besides trait and projection predicates - [x] Is the output of the `lower_trait_higher_rank` test correct? - [ ] Remove `Self::Trait` from the query `tcx.predicates_of(<trait_id>).predicates` - [ ] Consider moving tests to compile-fail to make them more manageable
Diffstat (limited to 'src/libsyntax')
0 files changed, 0 insertions, 0 deletions