about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/dropck_outlives.rs
AgeCommit message (Expand)AuthorLines
2025-08-20Eliminate unnecessary dependency from `rustc_traits` to `rustc_hir`Josh Triplett-1/+1
2025-02-17Clean up dropck code a bitMatthew Jasper-7/+4
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-1/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-3/+3
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2023-11-02dropck_outlives check generator witness needs_droplcnr-1/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+5
2023-05-27Uplift complex type ops back into typeck so we can call them locallyMichael Goulet-261/+5
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-04-14 explicit adt_dtorck_constraint for ManuallyDroplcnr-1/+3
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