Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit c4a0328

Browse files
committedApr 12, 2018
Auto merge of #45298 - toidiu:ak-44493-infer-predicate, r=nikomatsakis
Ak 44493 infer predicate **WIP** Implements #44493 Things to do: - [x] add feature gate and appropriate tests (see [forge](https://forge.rust-lang.org/feature-guide.html) for some details) - [x] add a unit testing system similar to `#[rustc_variance]` - [x] to see how, maybe `rg rustc_variance` and take some notes - [ ] add more tests: - [x] we need to decide how to handle `struct Foo<'a, T> { x: &'a T::Item }` - [x] handle explicit predicates on types - [ ] handle explicit predicates on `dyn Trait` (this could be put off to a follow-up PR) - [ ] handle explicit predicates on projections (this could be put off to a follow-up PR)
2 parents 6c53749 + 6a229cb commit c4a0328

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+1415
-21
lines changed
 

‎.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,6 +83,7 @@ __pycache__/
8383
/src/libstd_unicode/UnicodeData.txt
8484
/stage[0-9]+/
8585
/target
86+
target/
8687
/test/
8788
/tmp/
8889
TAGS

‎src/librustc/dep_graph/dep_node.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -500,6 +500,7 @@ define_dep_nodes!( <'tcx>
500500
[] GenericsOfItem(DefId),
501501
[] PredicatesOfItem(DefId),
502502
[] InferredOutlivesOf(DefId),
503+
[] InferredOutlivesCrate(CrateNum),
503504
[] SuperPredicatesOfItem(DefId),
504505
[] TraitDefOfItem(DefId),
505506
[] AdtDefOfItem(DefId),

0 commit comments

Comments
 (0)
Please sign in to comment.