about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-43/+48
2020-04-18Auto merge of #71218 - eddyb:a-lifetime-stranded-in-fn-def, r=nikomatsakisbors-0/+25
2020-04-17Auto merge of #71049 - eddyb:const-err, r=oli-obkbors-4/+7
2020-04-16outlives: ignore lifetimes shallowly found in `ty::FnDef`s.Eduard-Mihai Burtescu-0/+25
2020-04-16mir/interpret: only use `ErrorHandled::Reported` for `ErrorReported`.Eduard-Mihai Burtescu-2/+2
2020-04-16ty: add `ty::ConstKind::Error` to replace `tcx.consts.err`.Eduard-Mihai Burtescu-2/+5
2020-04-16don't clone types that are copy (clippy::clone_on_copy)Matthias Krüger-4/+4
2020-04-15Fix clippy warningsMatthias Krüger-1/+0
2020-04-14Auto merge of #70643 - Rustin-Liu:rustin-patch-rename, r=eddybbors-1/+1
2020-04-14Rename AssocKind::Method to AssocKind::FnRustin-Liu-1/+1
2020-04-13Just `unwrap()` instead of `unwrap_or(DUMMY_HIR_ID)`.marmeladema-1/+1
2020-04-12Rollup merge of #71069 - marmeladema:dummy-hir-id-obligation-clause, r=eddybDylan DPC-1/+2
2020-04-12Remove usage of `DUMMY_HIR_ID` in `Scope::hir_id`marmeladema-1/+2
2020-04-12Update links of `rustc guide`Yuki Okushi-2/+2
2020-04-11Auto merge of #70161 - cjgillot:query-arena, r=nikomatsakisbors-1/+1
2020-04-10Auto merge of #70986 - marmeladema:issue70853/librustc_middle-local-def-id, r...bors-1/+1
2020-04-10Rollup merge of #69745 - estebank:predicate-obligations-3, r=nikomatsakis,eddybMazdak Farrokhzad-21/+52
2020-04-10librustc_middle: return LocalDefId instead of DefId in body_owner_def_idmarmeladema-8/+4
2020-04-10librustc_middle: return LocalDefId instead of DefId in opt_local_def_idmarmeladema-3/+7
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-21/+52
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-9/+5
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-05Allocate query Vecs on the arena.Camille GILLOT-1/+1
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