summary refs log tree commit diff
path: root/src/librustc/middle/infer
AgeCommit message (Expand)AuthorLines
2015-04-29Rather than storing the relations between free-regions in a globalNiko Matsakis-49/+73
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
2015-03-27rollup merge of #23741: alexcrichton/remove-int-uintAlex Crichton-53/+53
2015-03-26Mass rename uint/int to usize/isizeAlex Crichton-53/+53
2015-03-26Auto merge of #23691 - richo:dedup-typeorigin-mergable, r=eddybbors-29/+40
2015-03-25infer: Drop pointless format! callsRicho Healey-14/+14
2015-03-25infer: Refactor Display implRicho Healey-9/+14
2015-03-25infer: Move TypeOrigin formatting onto it's enumRicho Healey-15/+21
2015-03-24Reject specialized Drop impls.Felix S. Klock II-0/+67
2015-03-23rollup merge of #23601: nikomatsakis/by-value-indexAlex Crichton-1/+1
2015-03-23Fallout in stdlib, rustdoc, rustc, etc. For most maps, converted uses ofNiko Matsakis-1/+1
2015-03-23Remove incorrect subtyping for `&mut Trait` and introduce coercionNiko Matsakis-12/+1
2015-03-20don't use Result::ok just to be able to use unwrap/unwrap_orOliver Schneider-5/+5
2015-03-17Move unsafety out of the subtyping relation and into coercion.Niko Matsakis-51/+8
2015-03-17Extract out `mts` into `combine` using `tys_with_variance`Niko Matsakis-100/+18
2015-03-17Auto merge of #23423 - nikomatsakis:issue-18737-trait-subtyping, r=nrcbors-56/+12
2015-03-17Remove subtyping for object types and replace with an *upcast* coercion.Niko Matsakis-56/+12
2015-03-17Rollup merge of #23385 - tamird:cleanup-whitespace, r=alexcrichtonManish Goregaokar-2/+0
2015-03-15Strip all leading/trailing newlinesTamir Duberstein-2/+0
2015-03-13Deprecate range, range_step, count, distributionsAaron Turon-1/+1
2015-03-11syntax: move MethMac to MacImplItem and combine {Provided,Required}Method int...Eduard Burtescu-13/+15
2015-03-11syntax: rename TypeMethod to MethodSig and use it in MethDecl.Eduard Burtescu-10/+10
2015-03-11syntax: gather common fields of impl & trait items into their respective types.Eduard Burtescu-10/+10
2015-03-05Rollup merge of #22764 - ivanradanov:fileline_help, r=huonwManish Goregaokar-3/+3
2015-03-04std: Deprecate std::old_io::fsAlex Crichton-4/+7
2015-03-03Change span_help calls to fileline_help where appropriateIvan Radanov Ivanov-3/+3
2015-03-02Remove the synthetic "region bound" from closures and instead update howNiko Matsakis-4/+3
2015-02-25Rollup merge of #22785 - nikomatsakis:issue-21750-normalization-with-regions,...Manish Goregaokar-7/+1
2015-02-25Rollup merge of #22635 - kmcallister:macros-chapter, r=steveklabnikManish Goregaokar-4/+11
2015-02-24Make traits with assoc types invariant in their inputs.Niko Matsakis-7/+1
2015-02-24style nitpicksOliver Schneider-196/+172
2015-02-24Implement `<T>::method` UFCS expression syntax.Eduard Burtescu-2/+9