summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2016-06-15prefer `if let` to match with `None => ()` arm in some placesZack M. Davis-7/+4
2016-06-10Introduce TyCtxt::expect_def/expect_resolution helpers and use them where pos...Vadim Petrochenkov-11/+1
2016-06-05rustc: add ReErased to be used by trait selection, MIR and trans.Eduard Burtescu-10/+18
2016-06-04Auto merge of #33622 - arielb1:elaborate-drops, r=nikomatsakisbors-0/+18
2016-06-03implement drop elaborationAriel Ben-Yehuda-0/+18
2016-05-31change to use `higher_ranked_match`Niko Matsakis-3/+4
2016-05-31create but do not use a projection cacheNiko Matsakis-3/+25
2016-05-31add a higher-ranked match routineNiko Matsakis-0/+177
2016-05-31remove VerifyRegSubReg and cleanup region inferNiko Matsakis-143/+132
2016-05-31better debug dumping with inference variablesNiko Matsakis-2/+19
2016-05-31simplify HR subtyping back to what we did beforeNiko Matsakis-90/+2
2016-05-31warn if leak-check relies on LBRs that will changeNiko Matsakis-1/+73
2016-05-31add `Issue32330` warning marker to bound regionsNiko Matsakis-4/+2
2016-05-31make HR algorithms account for region subtypingNiko Matsakis-144/+474
2016-05-25catch attempts to leak obligations out of snapshotsAriel Ben-Yehuda-5/+28
2016-05-18Auto merge of #33688 - jonathandturner:fix_old_school, r=nikomatsakisbors-2/+2
2016-05-18identify inputs of `MetaData(X)` nodesNiko Matsakis-2/+2
2016-05-17Improve a few errors and fix #33366Jonathan Turner-2/+2
2016-05-16Remove hir::IdentVadim Petrochenkov-1/+1
2016-05-15Auto merge of #33505 - petrochenkov:self, r=nrcbors-50/+8
2016-05-15Auto merge of #33619 - jonathandturner:improve_structured_errors, r=nikomatsakisbors-2/+2
2016-05-14Remove ExplicitSelf from HIRVadim Petrochenkov-50/+8
2016-05-12Update errors to use new error formatJonathan Turner-2/+2
2016-05-11Rollup merge of #33401 - GuillaumeGomez:index_indication, r=pnkfelixGuillaume Gomez-1/+1
2016-05-11Rollup merge of #33539 - nikomatsakis:static-error, r=pnkfelixSteve Klabnik-3/+0
2016-05-11Extend rustc_on_unimplemented flag: if a message is available at an impl, thi...ggomez-1/+1
2016-05-11Fixup indentation after methodification.Eduard Burtescu-276/+276
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-57/+190