summary refs log tree commit diff
path: root/src/librustc/middle
AgeCommit message (Expand)AuthorLines
2015-04-02Tweak relese notes + rebase fixesAlex Crichton-1/+1
2015-04-01rollup merge of #23860: nikomatsakis/copy-requires-cloneAlex Crichton-44/+47
2015-04-01rollup merge of #23945: pnkfelix/gate-u-negateAlex Crichton-2/+12
2015-04-02Test fixes and rebase conflicts, round 2Alex Crichton-1/+1
2015-04-01fix typo.Felix S. Klock II-1/+1
2015-04-01fallout when bootstrapping `rustc`.Felix S. Klock II-1/+11
2015-04-02Rollup merge of #23924 - nrc:unqual-assoc3, r=alexcrichtonManish Goregaokar-5/+16
2015-04-02Rollup merge of #23895 - nikomatsakis:fn-trait-inheritance-add-impls, r=pnkfelixManish Goregaokar-1216/+1434
2015-04-02Rollup merge of #23867 - nikomatsakis:issue-23086-take-3, r=pnkfelixManish Goregaokar-158/+330
2015-04-01Fallout out rustcNiko Matsakis-48/+51
2015-04-01Implement the changes to coherence such that we consider a type to beNiko Matsakis-158/+330
2015-04-01Auto merge of #23109 - nikomatsakis:closure-region-hierarchy, r=pnkfelixbors-197/+217
2015-04-01Update commentsNiko Matsakis-30/+30
2015-04-01Remove the `Option<>` since when computing LUB since I believe that theNiko Matsakis-25/+27
2015-04-01Implement the new region hierarchy rules, in which regions from distinctNiko Matsakis-140/+109
2015-04-01Add a meta-hierarchy of trees -- in future, each fn body will inhabitNiko Matsakis-44/+93
2015-04-01Test fixes and rebase conflictsAlex Crichton-1/+0
2015-04-01Tidying up and reformattingNick Cameron-4/+15
2015-04-01rustc::middle::const_eval : add overflow-checking for {+, -, *}.Felix S. Klock II-81/+297
2015-04-01ty.rs improve error feedback when const-eval errs during repeat count eval.Felix S. Klock II-4/+5
2015-04-01Refactored ty::ctxt so node_types mutations must go through ty methods.Felix S. Klock II-4/+11
2015-04-01Fix #23890: const-eval `_ as usize`, `_ as isize` must dispatch to target type.Felix S. Klock II-32/+42
2015-04-01fix post rebase.Felix S. Klock II-2/+2
2015-04-01Added type-specific overflow checks when computing enum discriminant values.Felix S. Klock II-48/+257
2015-04-01Pretty print ids for assoc itemsNick Cameron-1/+1
2015-03-31Auto merge of #23549 - aturon:stab-num, r=alexcrichtonbors-1/+0
2015-03-31Stabilize std::numAaron Turon-1/+0
2015-03-31Add a "match" relation that can be used to make recursion check duringNiko Matsakis-1/+108
2015-03-31Port over type inference to using the new type relation stuffNiko Matsakis-937/+1120
2015-03-31Remove unused importNiko Matsakis-1/+1
2015-03-31Switch to FnvHashMapNiko Matsakis-4/+4
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-67/+51
2015-03-31Rename the cryptic cres and ures types.Niko Matsakis-161/+134
2015-03-31Rollup merge of #23859 - pnkfelix:fsk-lesser-box, r=nikomatsakisManish Goregaokar-51/+123
2015-03-30Address Issue 14270 by making `cmt::freely_aliasable` result more fine-grained.Felix S. Klock II-10/+31
2015-03-30mem_categorization.rs removed `pub` from method called only from this mod.Felix S. Klock II-2/+2
2015-03-30expr_use_visitor: Added comment explaining meaning of boolean return value.Felix S. Klock II-0/+5
2015-03-30Mucho debug instrumentation.Felix S. Klock II-39/+85
2015-03-30Implement new type-checking strategy for binary operators. Basically,Niko Matsakis-74/+10
2015-03-28Rollup merge of #23803 - richo:unused-braces, r=ManishearthManish Goregaokar-31/+31
2015-03-28cleanup: Remove unused braces in use statementsRicho Healey-31/+31
2015-03-27rollup merge of #23486: nikomatsakis/issue-23485Alex Crichton-5/+31
2015-03-27When testing whether a default method predicates are satisfiable,Niko Matsakis-5/+31
2015-03-27rollup merge of #23741: alexcrichton/remove-int-uintAlex Crichton-298/+298
2015-03-27rollup merge of #23712: nikomatsakis/reflect-traitAlex Crichton-143/+324
2015-03-27default => or_insert per RFCAlexis Beingessner-5/+5
2015-03-26update everything to use Entry defaultsAlexis-23/+6