summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2020-01-27don't clone types that are copy, round two.Matthias Krüger-5/+5
2020-01-25Use better bound names in `-Zverbose` modeEsteban Küber-3/+7
2020-01-18remove rustc_error_codes deps except in rustc_driverMazdak Farrokhzad-10/+0
2020-01-18Auto merge of #68001 - Marwes:lexical_region_resolve, r=nikomatsakisbors-40/+36
2020-01-17Use named fields for `hir::ItemKind::Impl`Dylan MacKenzie-1/+1
2020-01-17perf: Only search the potentially changed constraints in lexical_region_resolveMarkus Westerlind-50/+29
2020-01-17perf: Filter out and process fixed constraints first in region expansionMarkus Westerlind-16/+33
2020-01-16don't clone types that are copyMatthias Krüger-1/+1
2020-01-14Avoid calling tcx.hir().get() on CRATE_HIR_IDAaron Hill-1/+1
2020-01-10nix syntax::errors & prefer rustc_errors over errorsMazdak Farrokhzad-20/+18
2020-01-10Rollup merge of #67922 - Centril:lowering-cleanup, r=petrochenkovMazdak Farrokhzad-2/+2
2020-01-10Rollup merge of #66463 - estebank:point-at-closure-and-opaque-types, r=CentrilMazdak Farrokhzad-5/+139
2020-01-09{rustc::util -> rustc_data_structures}::capturesMazdak Farrokhzad-2/+2
2020-01-09Rollup merge of #68026 - llogiq:ch-ch-ch-ch-changes, r=varkorMazdak Farrokhzad-6/+2
2020-01-08Small improvements in lexical_region_resolveAndre Bogus-6/+2
2020-01-08normalize rustc::hir::intravisit importsMazdak Farrokhzad-2/+2
2020-01-08intravisit: abstract over HIR MapMazdak Farrokhzad-3/+10
2020-01-08remove unnecessary `Debug`Esteban Küber-1/+1
2020-01-08reduce code duplicationEsteban Küber-35/+35
2020-01-08review commentsEsteban Küber-26/+40
2020-01-08review commentsEsteban Küber-16/+34
2020-01-08review comment: wordingEsteban Küber-6/+8
2020-01-08Point at the def span of trait refs E0277Esteban Küber-1/+8
2020-01-08review commentsEsteban Küber-17/+23
2020-01-08Point at opaque and closure type definitions in type errorsEsteban Küber-5/+92
2020-01-08- remove syntax::{span_warn!, span_err!, span_fatal!. struct_err!}Mazdak Farrokhzad-18/+12
2020-01-07Move required_region_bounds to rustc::infer::opaque_types.Camille GILLOT-2/+67
2020-01-07Move free_region_map to rustc::ty.Camille GILLOT-99/+2
2020-01-07Make rustc::traits::object_safety::{astconv_object_safety_violations,is_vtabl...Camille GILLOT-1/+2
2020-01-07Make rustc::traits::error_reporting::{recursive_type_with_infinite_size_error...Camille GILLOT-1/+2
2020-01-07Make rustc::infer::error_reporting::{note_and_explain_free_region, note_and_e...Camille GILLOT-125/+164
2020-01-07Remove private methods from TyCtxt impl block: rustc::infer::error_reporting.Camille GILLOT-108/+109
2020-01-06Auto merge of #67886 - Centril:rustc_hir_canon_imports, r=nagisabors-37/+35
2020-01-05Rollup merge of #67881 - varkor:scattering-of-backticks, r=CentrilDylan DPC-10/+10
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-37/+35
2020-01-05Add backticks to various diagnosticsvarkor-10/+10
2020-01-04DefId{Map,Set} -> rustc::hir::def_idMazdak Farrokhzad-2/+1
2020-01-04canonicalize FxHash{Map,Set} importsMazdak Farrokhzad-3/+4
2020-01-04Rollup merge of #67786 - Centril:canon-span, r=petrochenkovMazdak Farrokhzad-6/+6
2020-01-03Rollup merge of #67595 - ohadravid:impl-trait-does-not-live-long-enough, r=es...Yuki Okushi-1/+1
2020-01-02Normalize `syntax::symbol` imports.Mazdak Farrokhzad-3/+3
2020-01-02Normalize `syntax::source_map` imports.Mazdak Farrokhzad-3/+3
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-17/+17
2019-12-31Change wording for lifetime suggestion for opaque types from `constraint` to ...Ohad Ravid-1/+1
2019-12-30discriminant -> scrutineeMazdak Farrokhzad-5/+5
2019-12-30Blame user type in pat type error.Mazdak Farrokhzad-2/+5
2019-12-30refactor and fix this-expression-has-type noteMazdak Farrokhzad-0/+1
2019-12-30MatchExpressionArmPattern -> PatternMazdak Farrokhzad-1/+1
2019-12-30MatchExpressionArmPattern: Use more generic wording.Mazdak Farrokhzad-1/+1
2019-12-27Visit for hir::Ty.Camille GILLOT-1/+1