about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
2020-04-06ty: switch `Ty::walk` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-49/+64
2020-04-06ty/walk: switch `walk_shallow` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-18/+24
2020-04-05Stop importing int/float modules in librustc_*Linus Färnstrand-1/+0
2020-04-03Rollup merge of #70641 - estebank:dedup-code, r=nikomatsakisMazdak Farrokhzad-3/+79
2020-04-03Minor follow-up after renaming librustc(_middle)Yuki Okushi-1/+1
2020-04-02use direct import for ErrorReportedMazdak Farrokhzad-8/+5
2020-04-01Remove duplicated code in trait selectionEsteban Küber-3/+79
2020-03-30Use if let instead of match when only matching a single variant (clippy::sing...Matthias Krüger-103/+94
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-54/+54
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-135/+135
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-2/+2
2020-03-25Rename `def_span` to `guess_head_span`Esteban Küber-6/+6
2020-03-25Rollup merge of #70373 - Centril:canon-imports, r=Mark-SimulacrumMazdak Farrokhzad-2/+1
2020-03-24normalize some imports, prefer direct ones.Mazdak Farrokhzad-2/+1
2020-03-24Rollup merge of #70213 - eddyb:stalled-on-ty-or-const, r=nikomatsakisMazdak Farrokhzad-40/+94
2020-03-24Rollup merge of #70277 - matthewjasper:remove-closurebound, r=nikomatsakisMazdak Farrokhzad-24/+2
2020-03-23Remove `ReClosureBound`Matthew Jasper-24/+2
2020-03-23Rollup merge of #69968 - eddyb:tupled-closure-captures, r=nikomatsakisMazdak Farrokhzad-10/+7
2020-03-23Rollup merge of #69942 - estebank:sized-verbose-sugg, r=matthewjasperMazdak Farrokhzad-11/+6
2020-03-22Increase verbosity when suggesting subtle code changesEsteban Küber-11/+6
2020-03-22Rollup merge of #70254 - matthiaskrgr:cl4ppy, r=CentrilDylan DPC-4/+2
2020-03-22Rollup merge of #70229 - matthiaskrgr:cl3ppy, r=Mark-SimulacrumDylan DPC-2/+2
2020-03-22don't create variable bindings just to return the bound value immediately (cl...Matthias Krüger-4/+2
2020-03-21don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-2/+2
2020-03-21rustc: keep upvars tupled in {Closure,Generator}Substs.Eduard-Mihai Burtescu-10/+7
2020-03-21Rollup merge of #70119 - eddyb:typeck-tables-local-def-id, r=petrochenkovDylan DPC-7/+7
2020-03-21traits/fulfill: allow `stalled_on` to track `ty::Const::Infer(_)` (unused yet).Eduard-Mihai Burtescu-11/+74
2020-03-21infer: export methods on `InferCtxt` instead of `ShallowResolver`.Eduard-Mihai Burtescu-35/+26
2020-03-21Rollup merge of #70089 - eddyb:closure-sig-infer, r=nikomatsakisMazdak Farrokhzad-10/+0
2020-03-20remove redundant returns (clippy::needless_return)Matthias Krüger-12/+10
2020-03-19rustc: use LocalDefId instead of DefId in TypeckTables.Eduard-Mihai Burtescu-7/+7
2020-03-18Rollup merge of #69920 - Centril:hir-cleanup, r=ZoxcMazdak Farrokhzad-3/+4
2020-03-18rustc_infer: remove InferCtxt::closure_sig as the FnSig is always shallowly k...Eduard-Mihai Burtescu-10/+0
2020-03-17Erase regions in writebackMatthew Jasper-34/+76
2020-03-17Don't use `TypeckTables` in NiceRegionErrorMatthew Jasper-58/+50
2020-03-16use direct imports for `rustc::{lint, session}`.Mazdak Farrokhzad-3/+4
2020-03-15More Method->Fn renamingMark Mansi-2/+2
2020-03-14Index HIR after creating TyCtxtJohn Kåre Alsaker-9/+9
2020-03-14Trim dependencies and features.Camille GILLOT-8/+2
2020-03-14Split librustc_infer.Camille GILLOT-132/+818
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-17866/+0
2020-03-14Mode ProjectionCache to its own module.Camille GILLOT-184/+198
2020-03-14Move traits::query::outlives_bounds::explicit_outlives_bounds to infer::outli...Camille GILLOT-21/+26
2020-03-14Move opaque_types::unexpected_hidden_region_diagnostic to error_reporting.Camille GILLOT-85/+82
2020-03-14Move IntercrateAmbiguityCause back to rustc::traits::select.Camille GILLOT-41/+0
2020-03-14Rollup merge of #69809 - matthiaskrgr:lifetimes, r=eddybYuki Okushi-3/+3
2020-03-14Rollup merge of #69802 - matthiaskrgr:cl1ppy, r=Dylan-DPCYuki Okushi-8/+3
2020-03-12remove lifetimes that can be elided (clippy::needless_lifetimes)Matthias Krüger-3/+3
2020-03-12Rollup merge of #69747 - spastorino:rename-rustc-guide, r=pietroalbiniMazdak Farrokhzad-42/+42
2020-03-12Rollup merge of #69674 - mark-i-m:assoc-fn, r=matthewjasperMazdak Farrokhzad-7/+7