summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2016-05-11rustc_typeck: Generalize over 'tcx != 'gcx.Eduard Burtescu-29/+31
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-3/+3
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-285/+223
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-27/+38
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-4/+4
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-134/+135
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-45/+44
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-283/+166
2016-05-11infer: Turn normalize_associated_type into a method on TyCtxt.Eduard Burtescu-22/+24
2016-05-11infer: Use methods for creating an InferCtxt.Eduard Burtescu-26/+28
2016-05-10fix DFS for region error reportingNiko Matsakis-3/+0
2016-05-08Fix minor typo in E0312silvo38-1/+1
2016-05-03stop using commit_if_ok where no errors can happenAriel Ben-Yehuda-0/+11
2016-05-02replace fileline_{help,note} with {help,note}Niko Matsakis-11/+8
2016-05-02use new `note_expected_found` APINiko Matsakis-20/+18
2016-04-28Rollup merge of #33212 - bombless:scope-of-function-body, r=nikomatsakisSteve Klabnik-1/+1
2016-04-26Improve error message about regions of function bodyYork Xiang-1/+1
2016-04-25Auto merge of #32258 - nikomatsakis:fewer-errors, r=arielb1bors-5/+47
2016-04-12Suppress fallback and ambiguity errorsNiko Matsakis-5/+47
2016-04-12Remove unused trait importsSeo Sanghyeon-4/+3