summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2016-10-18normalize types every time HR regions are erasedAriel Ben-Yehuda-1/+14
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
2016-08-18Add Span field for Generics structsGuillaume Gomez-0/+1
2016-08-17Display secondary span for E0053 for Sort TypeErrorsKeith Yeung-1/+5
2016-08-17rustc: split Generics of a method from its parent Generics.Eduard Burtescu-2/+1
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-38/+8
2016-08-17rustc_typeck: use Substs::from_generics instead of manually building them.Eduard Burtescu-7/+0
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-6/+2
2016-08-17rustc: move defaulting's use of &mut Substs from InferCtxt to typeck.Eduard Burtescu-63/+59
2016-08-13Rename empty/bang to neverAndrew Cann-1/+1
2016-08-13Remove obsolete divergence related stuffAndrew Cann-2/+0
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-0/+1
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-1/+2
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-10/+10
2016-08-07Turn on new errors, json mode. Remove duplicate unicode testJonathan Turner-10/+4
2016-07-28Rollup merge of #35040 - soltanmm:couple-is-a-pun, r=nikomatsakisManish Goregaokar-150/+159
2016-07-25Tidy upMasood Malekghassemi-13/+38
2016-07-25Use &mut for CombineFields in inference relationsMasood Malekghassemi-78/+58
2016-07-25Move `a_is_expected` out of `CombineFields`Masood Malekghassemi-82/+86
2016-07-25Rename infcx lifetimes in inference relationsMasood Malekghassemi-46/+46
2016-07-25Unpublicize inference relationsMasood Malekghassemi-6/+6
2016-07-23address review commentsAriel Ben-Yehuda-12/+6
2016-07-22Add new error codes in librustc_typeckggomez-5/+14
2016-07-22use diagnostic-mutating style for `note_type_err` tooAriel Ben-Yehuda-20/+22
2016-07-22switch projection errors to use the new type error messagesAriel Ben-Yehuda-19/+28
2016-07-22refactor type error reportingAriel Ben-Yehuda-176/+107
2016-07-22remove rustc_typeck::same_type_errAriel Ben-Yehuda-1/+73
2016-07-22remove never-called type-error reporting functionsAriel Ben-Yehuda-69/+19
2016-07-14Add in styled_buffer.rs and remove some unused codeJonathan Turner-2/+2
2016-07-03prefer `if let` to match with `None => {}` arm in some placesZack M. Davis-5/+2
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-12/+11