about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/dropck_outlives.rs
AgeCommit message (Expand)AuthorLines
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+2
2023-01-05Fix `uninlined_format_args` for some compiler cratesnils-2/+2
2022-12-13Combine identical alias armsMichael Goulet-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-1/+1
2022-11-28Rename At::normalize to At::query_normalizeMichael Goulet-1/+1
2022-11-09make dropck_outlives into a proper canonicalized type queryMichael Goulet-110/+97
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-113/+105
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-2/+2
2022-05-10Introduce EarlyBinderJack Huey-4/+10
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-8/+8
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-8/+1
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-09Avoid clone.Camille GILLOT-4/+4
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-4/+4
2021-07-25clippy:: append_instead_of_extendMatthias Krüger-2/+2
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-1/+1
2021-07-04Query-ify global limit attribute handlingAaron Hill-1/+1
2021-03-18Fix use of bare trait objects everywhereVadim Petrochenkov-1/+1
2021-02-13Use debug log level for developer oriented logsTomasz Miąsko-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-10-14Address commentsRoxane-0/+9
2020-10-11Replace tuple of infer vars for upvar_tys with single infer varRoxane-5/+19
2020-09-04Change ty.kind to a methodLeSeulArtichaut-2/+2
2020-08-30mv compiler to compiler/mark-0/+326