about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-616/+0
2020-03-10rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.orgSantiago Pastorino-1/+1
2020-03-10Rename rustc guide to rustc dev guideSantiago Pastorino-1/+1
2020-03-10Rename rustc-guide to rustc-dev-guideSantiago Pastorino-1/+1
2020-02-16Make librustc compile.Camille GILLOT-1/+2
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-16887/+0
2020-02-14Use member constraint for most opaque types in NLLMatthew Jasper-15/+41
2020-02-14Improve opaque type lifetime errorsMatthew Jasper-17/+5
2020-02-14Address review commentsMatthew Jasper-17/+28
2020-02-14Erase regions in opaque types in typeckMatthew Jasper-16/+21
2020-02-14Simplify function signature in opaque_typesMatthew Jasper-8/+4
2020-02-14Distinguish RPIT from other impl traitMatthew Jasper-0/+1
2020-02-12Rollup merge of #69059 - ljedrz:unused_stuff, r=Dylan-DPCDylan DPC-2/+0
2020-02-12remove some unused objectsljedrz-2/+0
2020-02-11Invert control in struct_lint_level.jumbatm-1/+1
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-231/+298
2020-02-07Auto merge of #65232 - nikomatsakis:lazy-norm-anon-const-push-2, r=matthewjasperbors-71/+261
2020-02-06Rollup merge of #68524 - jonas-schievink:generator-resume-arguments, r=ZoxcDylan DPC-0/+1
2020-02-06lint impls that will become incoherent when leak-check is removedNiko Matsakis-3/+4
2020-02-06add the ability to skip leak check within a snapshotNiko Matsakis-12/+37
2020-02-06apply various formatting nitsNiko Matsakis-9/+9
2020-02-06use derive(Debug) for TypeTraceNiko Matsakis-7/+1
2020-02-06index ReEmpty by universeNiko Matsakis-24/+155
2020-02-06integrate the `sub_free_regions` code so we have only one copy of itNiko Matsakis-8/+34
2020-02-06add a `IsEmpty` for use in verified boundsNiko Matsakis-8/+25
2020-02-06do not limit NiceRegionError to SubSupConflict or ConcreteFailureNiko Matsakis-13/+9
2020-02-05Move ExpectedFound::new to ty::error.Camille GILLOT-10/+0
2020-02-05Move implementation of UnifyKey to unify_key.rs.Camille GILLOT-15/+15
2020-02-05Move infer::canonical datatypes to infer::types.Camille GILLOT-334/+364
2020-02-05Move infer::region_constraints::MemberConstraint to infer::types module.Camille GILLOT-24/+32
2020-02-02Add a resume type param to the generator substsJonas Schievink-0/+1
2020-02-02Avoid exponential behaviour when relating typesMatthew Jasper-2/+19
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 20:26:09 +0000