about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2020-01-07Move structural_match to rustc::traits.Camille GILLOT-0/+221
2020-01-07Move ty::wf to traits.Camille GILLOT-3/+752
2020-01-07Make traits::util::* free functions.Camille GILLOT-165/+174
2020-01-07Move subst_and_normalize_erasing_regionsto rustc::ty.Camille GILLOT-26/+0
2020-01-07Move normalize_erasing_regions to rustc::ty.Camille GILLOT-79/+0
2020-01-07Make rustc::traits::object_safety::{astconv_object_safety_violations,is_vtabl...Camille GILLOT-46/+48
2020-01-07Make rustc::traits::error_reporting::{recursive_type_with_infinite_size_error...Camille GILLOT-55/+53
2020-01-07Remove private methods from TyCtxt impl block: rustc::trait::object_safety.Camille GILLOT-501/+508
2020-01-06Auto merge of #67886 - Centril:rustc_hir_canon_imports, r=nagisabors-22/+19
2020-01-06Rollup merge of #67906 - varkor:silence-toogeneric, r=nagisaDylan DPC-0/+6
2020-01-05Silence `TooGeneric` errorvarkor-0/+6
2020-01-05Correctly check for opaque types in `assoc_ty_def`Matthew Jasper-1/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-22/+19
2020-01-05Auto merge of #67808 - Marwes:projection_normalization_recurse, r=nikomatsakisbors-0/+3
2020-01-04DefId{Map,Set} -> rustc::hir::def_idMazdak Farrokhzad-2/+1
2020-01-04canonicalize FxHash{Map,Set} importsMazdak Farrokhzad-5/+6
2020-01-02Normalize `syntax::symbol` imports.Mazdak Farrokhzad-7/+7
2020-01-02Normalize `syntax::source_map` imports.Mazdak Farrokhzad-3/+3
2020-01-02perf: Don't recurse into types that do not need normalizingMarkus Westerlind-0/+3
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-9/+9
2019-12-30discriminant -> scrutineeMazdak Farrokhzad-3/+3
2019-12-30Blame user type in pat type error.Mazdak Farrokhzad-3/+9
2019-12-30MatchExpressionArmPattern -> PatternMazdak Farrokhzad-6/+4
2019-12-30Auto merge of #67631 - oli-obk:polymorphic_promotion, r=wesleywiserbors-0/+3
2019-12-27Syntax for hir::Ty.Camille GILLOT-2/+2
2019-12-27Fix `Instance::resolve()` incorrectly returning specialized instancesWesley Wiser-0/+3
2019-12-26Syntax for hir::Expr.Camille GILLOT-12/+13
2019-12-24x.py fmt after previous deignoreMark Rousskov-221/+232
2019-12-24Rollup merge of #67543 - JohnTitor:regression-tests, r=CentrilMazdak Farrokhzad-1/+1
2019-12-22Format the worldMark Rousskov-2766/+2480
2019-12-23Use `is_none` instead of `if let`Yuki Okushi-1/+1
2019-12-22Rollup merge of #66877 - skinny121:const-eval-entry-points, r=oli-obkMazdak Farrokhzad-38/+13
2019-12-22Add simpler entry points to const eval for common usages.Ben Lewis-38/+13
2019-12-21Rollup merge of #67160 - matthewjasper:gat-generics, r=nikomatsakisMazdak Farrokhzad-5/+45
2019-12-201. ast::Mutability::{Mutable -> Mut, Immutable -> Not}.Mazdak Farrokhzad-5/+5
2019-12-20Use `delay_span_bug` less oftenMatthew Jasper-5/+21
2019-12-20Check associated type implementations for generic mismatchesMatthew Jasper-0/+24
2019-12-20Rollup merge of #67285 - ohadravid:indicate-origin-of-where-type-parameter, r...Mazdak Farrokhzad-1/+1
2019-12-15Rollup merge of #67289 - estebank:unnamed-closure, r=CentrilMazdak Farrokhzad-1/+1
2019-12-14Do not ICE on unnamed futureEsteban Küber-1/+1
2019-12-14Indicate origin of where type parameter for uninferred typesOhad Ravid-1/+1
2019-12-13Auto merge of #65951 - estebank:type-inference-error, r=nikomatsakisbors-34/+85
2019-12-12Auto merge of #67079 - nnethercote:optimize-shallow_resolve_changed, r=nikoma...bors-11/+19
2019-12-11Auto merge of #65345 - davidtwco:issue-64130-async-send-sync-error-improvemen...bors-83/+223
2019-12-11erase regions instead of using `builtin_deref`Nicholas Matsakis-7/+18
2019-12-11Auto merge of #66821 - eddyb:global-trait-caching, r=nikomatsakisbors-24/+23
2019-12-11Change `PendingPredicateObligation::stalled_on`'s type.Nicholas Nethercote-11/+19
2019-12-10Avoid invalid suggestion by checking the snippet in const fn callEsteban Küber-1/+22
2019-12-10Suggest setting type param on function callEsteban Küber-0/+24
2019-12-10Fix rebaseEsteban Küber-6/+6