summary refs log tree commit diff
path: root/src/librustc/middle/infer
AgeCommit message (Expand)AuthorLines
2015-07-06After inferring regions, scan for any bounds that are due to a lifetimeNiko Matsakis-0/+47
2015-07-06Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-11/+67
2015-06-19Auto merge of #24527 - nikomatsakis:issue-24085, r=nikomatsakisbors-11/+34
2015-06-19Expand the "givens" set to cover transitive relations. The givens arrayNiko Matsakis-11/+34
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-193/+177
2015-06-19rustc: replace Repr/UserString impls with Debug/Display ones.Eduard Burtescu-190/+32
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-3/+0
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-203/+203
2015-06-19rustc: leave only one free top-level function in ppaux, and private.Eduard Burtescu-4/+124
2015-06-19rustc: use Repr and UserString instead of ppaux::ty_to_string.Eduard Burtescu-3/+1
2015-06-19rustc: reduce ppaux's public footprint to 5 functions.Eduard Burtescu-8/+12
2015-06-12Split TyArray into TyArray and TySlice.Eli Friedman-0/+1
2015-06-12Cleanup: rename middle::ty::sty and its variants.Eli Friedman-64/+64
2015-06-11Conver reborrows to .iter() calls where appropriateJoshua Landau-3/+3
2015-06-10Removed many pointless calls to *iter() and iter_mut()Joshua Landau-1/+1
2015-06-10Auto merge of #26141 - eddyb:ast_map, r=nikomatsakisbors-1/+1
2015-06-10Auto merge of #26055 - arielb1:smart-fold, r=nikomatsakisbors-4/+7
2015-06-10syntax: move ast_map to librustc.Eduard Burtescu-1/+1
2015-06-08Replace usage of String::from_str with String:fromSimon Sapin-1/+1
2015-06-08Skip useless recursion in freshening and late-bound-region substitutioAriel Ben-Yehuda-4/+7
2015-05-27Use `const fn` to abstract away the contents of UnsafeCell & friends.Eduard Burtescu-2/+2
2015-05-21syntax: parse `const fn` for free functions and inherent methods.Eduard Burtescu-7/+12
2015-05-12Create a FreshFloatTy separate from FreshIntTyAriel Ben-Yehuda-2/+3
2015-05-04Fix spelling errors in documentation.Joseph Crail-1/+1
2015-04-30Stop using Rc in TraitRef and TraitDefAriel Ben-Yehuda-13/+11
2015-04-27Auto merge of #23606 - quantheory:associated_const, r=nikomatsakisbors-4/+4
2015-04-23Structural changes for associated constantsSean Patrick Santos-4/+4
2015-04-18Rather than storing the relations between free-regions in a globalNiko Matsakis-49/+73
2015-04-17Port to use the new Unify code, which has no UnifyValue traitNiko Matsakis-343/+52
2015-04-17Port to using the newer graph, which offers iterators instead of theNiko Matsakis-17/+13
2015-04-17Use the newer snapshot_vec, which has a simplified delegateNiko Matsakis-8/+6
2015-04-14Negative case of `len()` -> `is_empty()`Tamir Duberstein-2/+2
2015-04-14Positive case of `len()` -> `is_empty()`Tamir Duberstein-3/+3
2015-04-04Added test for #24036, using spans to display note/help for this message nowSean Bowe-2/+3
2015-04-04Fixed bug calling .note() instead of .help(). Added small note when twoSean Bowe-1/+1
2015-04-01rollup merge of #23860: nikomatsakis/copy-requires-cloneAlex Crichton-8/+8
2015-04-02Rollup merge of #23895 - nikomatsakis:fn-trait-inheritance-add-impls, r=pnkfelixManish Goregaokar-1201/+646
2015-04-01Fallout out rustcNiko Matsakis-8/+8
2015-04-01Update commentsNiko Matsakis-30/+30
2015-04-01Remove the `Option<>` since when computing LUB since I believe that theNiko Matsakis-15/+18
2015-04-01Implement the new region hierarchy rules, in which regions from distinctNiko Matsakis-108/+55
2015-03-31Port over type inference to using the new type relation stuffNiko Matsakis-933/+450
2015-03-31Remove unused importNiko Matsakis-1/+1
2015-03-31Extract more `ty` and `infer` dependencies from the unification engineNiko Matsakis-61/+65
2015-03-31Make union-find helper fns private, change to u32.Niko Matsakis-18/+26
2015-03-31Refactor unification interface by moving the methods off of inferctxt and ont...Niko Matsakis-140/+99
2015-03-31Combine `try` and `commit_if_ok` and make some details of inferenceNiko Matsakis-61/+45
2015-03-31Rename the cryptic cres and ures types.Niko Matsakis-161/+134
2015-03-28Rollup merge of #23803 - richo:unused-braces, r=ManishearthManish Goregaokar-18/+18
2015-03-28cleanup: Remove unused braces in use statementsRicho Healey-18/+18