summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2016-09-14clear obligations-added flag with nested fulfillcxNiko Matsakis-0/+27
2016-09-11Use question_mark feature in librustc.Ahmed Charles-1/+1
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-7/+2
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-11/+11
2016-09-04Replace `_, _, _` with `..`Vadim Petrochenkov-3/+3
2016-09-03Some better support for unions through the compilerVadim Petrochenkov-1/+3
2016-09-03Add union typesVadim Petrochenkov-0/+1
2016-08-31remove `normalize_infer_ctxt` constructorNiko Matsakis-11/+0
2016-08-31simplify DepNode for trait selectionNiko Matsakis-33/+23
2016-08-31remove unused normalize fieldNiko Matsakis-24/+1
2016-08-30Auto merge of #36066 - jseyfried:rollup, r=Manishearthbors-1/+3
2016-08-28Rollup merge of #35480 - KiChjang:e0379-bonus, r=nikomatsakisJeffrey Seyfried-1/+2
2016-08-28Rollup merge of #35591 - GuillaumeGomez:generics_span, r=jntrmrJeffrey Seyfried-0/+1
2016-08-27Change Constness to Spanned<Constness>Keith Yeung-1/+2
2016-08-27Use `FnvHashMap` in more placesJonas Schievink-3/+4
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-238/+286