Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Projection cache and better warnings for #32330 #33816

Merged
merged 25 commits into from
Jun 4, 2016
Merged

Projection cache and better warnings for #32330 #33816

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
aecce2b
add flag for ReSkolemized
nikomatsakis Mar 15, 2016
1198434
make HR algorithms account for region subtyping
nikomatsakis Apr 20, 2016
08034eb
add `Issue32330` warning marker to bound regions
nikomatsakis Apr 21, 2016
52b2db1
warn if leak-check relies on LBRs that will change
nikomatsakis Apr 21, 2016
75543c0
simplify HR subtyping back to what we did before
nikomatsakis May 16, 2016
eaf13b2
better debug dumping with inference variables
nikomatsakis May 21, 2016
d3afbd6
more debug dumping in traits
nikomatsakis May 21, 2016
7cf63a2
more debug dumping in trans
nikomatsakis May 21, 2016
cacbb21
add trailing comma
nikomatsakis May 21, 2016
8770d0f
remove VerifyRegSubReg and cleanup region infer
nikomatsakis May 21, 2016
de6c52d
make region-param-def encoding more DRY
nikomatsakis May 21, 2016
9ef768c
add trailing comma
nikomatsakis May 21, 2016
b40529c
projection predicates can be copy
nikomatsakis May 21, 2016
5cff88f
add a higher-ranked match routine
nikomatsakis May 21, 2016
d042ce2
add a snapshottable hashmap
nikomatsakis May 21, 2016
21eb366
create but do not use a projection cache
nikomatsakis May 21, 2016
24d4f10
change to use `higher_ranked_match`
nikomatsakis May 21, 2016
5368432
thread vtable-closure obligations to result
nikomatsakis May 23, 2016
6751d68
cleanup imports for cache
nikomatsakis May 21, 2016
38995c9
consult cache in projection
nikomatsakis May 21, 2016
ad97f29
add FIXME to fulfill
nikomatsakis May 21, 2016
136a83a
fallout in tests
nikomatsakis May 21, 2016
72b9707
do not use fresh regions in return type
nikomatsakis May 21, 2016
d3d2fc5
some new tests
nikomatsakis May 21, 2016
480d18c
kill some unused imports
nikomatsakis May 24, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
kill some unused imports
  • Loading branch information
@nikomatsakis
nikomatsakis committed Jun 1, 2016
commit 480d18ca311f5e0de2b6b0003f6cd0746e142652
1 change: 0 additions & 1 deletion src/librustc/traits/project.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,6 @@ use super::util;
use hir::def_id::DefId;
use infer::{InferOk, TypeOrigin};
use rustc_data_structures::snapshot_map::{Snapshot, SnapshotMap};
use std::env;
use syntax::parse::token;
use syntax::ast;
use ty::subst::Subst;
Expand Down
2 changes: 1 addition & 1 deletion src/librustc_typeck/check/compare_method.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
// except according to those terms.

use middle::free_region::FreeRegionMap;
use rustc::infer::{self, InferOk, InferResult, TypeOrigin};
use rustc::infer::{self, InferOk, TypeOrigin};
use rustc::ty;
use rustc::traits::{self, ProjectionMode};
use rustc::ty::subst::{self, Subst, Substs, VecPerParamSpace};
Expand Down