about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2016-11-28rustc: encode the optionality of type parameters in HIR paths.Eduard Burtescu-0/+1
2016-11-20Move `syntax::util::interner` -> `syntax::symbol`, cleanup.Jeffrey Seyfried-3/+3
2016-11-15register `infer-ok` obligations properlyNiko Matsakis-1/+2
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-173/+100
2016-11-12address review commentsAriel Ben-Yehuda-4/+0
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-1/+1
2016-11-12Rollup merge of #37688 - eddyb:lazy-8, r=petrochenkovEduard-Mihai Burtescu-1/+1
2016-11-12Rollup merge of #37659 - nikomatsakis:sfackler-36340-fix, r=eddybEduard-Mihai Burtescu-43/+142
2016-11-12Rollup merge of #37551 - Mark-Simulacrum:upgrade-accvec, r=eddybEduard-Mihai Burtescu-1/+1
2016-11-12Rollup merge of #37481 - estebank:lifetime-help-removal-for-impl, r=eddybEduard-Mihai Burtescu-14/+21
2016-11-11Change implementation of syntax::util::SmallVector to use data_structures::Sm...Mark-Simulacrum-1/+1
2016-11-10Don't hint to add lifetime on trait implEsteban Küber-14/+21
2016-11-10ExprAssignable does not need the original Expr so let's just remove outdated ...Luqman Aden-1/+0
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-1/+1
2016-11-08introduce a `fudge_regions_if_ok` to address false region edgesNiko Matsakis-43/+142
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-43/+42
2016-11-06rustc: harden against InferOk having obligations in more cases.Eduard Burtescu-3/+10
2016-11-04Rollup merge of #37408 - eddyb:lazy-5, r=nikomatsakisAlex Crichton-23/+3
2016-11-04Auto merge of #37167 - nikomatsakis:jroesch-issue-18937, r=pnkfelixbors-25/+117
2016-11-02rustc: record the target type of every adjustment.Eduard Burtescu-23/+3
2016-11-01pacify the mercilous tidyNiko Matsakis-12/+18
2016-11-01apply review feedback nitsNiko Matsakis-4/+6
2016-11-01compare-method lintNiko Matsakis-5/+14
2016-11-01cleanup error reporting and add `ui` testsNiko Matsakis-27/+102
2016-11-01Rollup merge of #37059 - jfirebaugh:unused-RangeExpression, r=alexcrichtonGuillaume Gomez-6/+0
2016-10-31Changed most vec! invocations to use square bracesiirelu-2/+2
2016-10-24Use `SmallVector` in `CombineFields::instantiate`.Nicholas Nethercote-3/+7
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-1/+4
2016-10-21when pop skol, also remove from proj cacheNiko Matsakis-0/+1
2016-10-19Rollup merge of #37241 - zackmdavis:if_let_over_none_spaced_empty_block_arm, ...Guillaume Gomez-3/+2
2016-10-19Rollup merge of #37117 - pnkfelix:may-dangle-attr, r=nikomatsakisEduard-Mihai Burtescu-5/+9
2016-10-17prefer `if let` to match with `None => { }` arm in some placesZack M. Davis-3/+2
2016-10-17Auto merge of #36915 - jfirebaugh:E0308-split, r=nikomatsakisbors-5/+10
2016-10-17Review feedback: add linebreak and reindent to make braces match better.Felix S. Klock II-3/+4
2016-10-16Auto merge of #37129 - arielb1:erased-normal, r=eddybbors-1/+14
2016-10-15Remove FIXMEJohn Firebaugh-1/+0
2016-10-13normalize types every time HR regions are erasedAriel Ben-Yehuda-1/+14
2016-10-11Using a type alias of Slice<Kind<'tcx>> to intern Substs<'tcx>.Adam Perry-2/+2
2016-10-11Thread `pure_wrt_drop` field through lifetime and type parameters.Felix S. Klock II-4/+7
2016-10-09Remove TypeOrigin::RangeExpressionJohn Firebaugh-6/+0
2016-10-04Rollup merge of #36917 - nnethercote:speed-up-plug_leaks, r=eddybManish Goregaokar-5/+6
2016-10-03Continue to use struct_span_err! macroJohn Firebaugh-24/+11
2016-10-03Optimize plug_leaks some more.Nicholas Nethercote-3/+3
2016-10-03Optimize plug_leaks.Nicholas Nethercote-3/+4
2016-10-02Use a distinct error code for "if may be missing an else clause"John Firebaugh-4/+23
2016-09-28Call arrays "arrays" instead of "vecs" internallyJonas Schievink-5/+5
2016-09-20rustc_metadata: go only through rustc_serialize in astencode.Eduard Burtescu-3/+2
2016-09-16Auto merge of #36338 - estebank:primitive-shadow, r=jseyfriedbors-1/+12
2016-09-15Specify when type parameter shadows primitive typeEsteban Küber-1/+12
2016-09-15Rollup merge of #36461 - nikomatsakis:issue-36053, r=arielb1Manish Goregaokar-0/+27