about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs
AgeCommit message (Expand)AuthorLines
2025-09-09Driveby fixesBoxy-0/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-08-08Check coroutine upvars and in dtorck constraintMichael Goulet-24/+50
2025-07-31Extract borrowck coroutine drop-liveness hackMichael Goulet-2/+5
2025-05-13Expect deep norm to fail if query norm failedMichael Goulet-5/+17
2025-05-12Flush errors before deep normalize in dropck_outlivesMichael Goulet-0/+8
2025-02-17Clean up dropck code a bitMatthew Jasper-35/+21
2025-02-17Report dropck normalization errors in borrowckMatthew Jasper-9/+42
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-14/+10
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-1/+2
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-14/+10
2025-01-23Remove query normalize from dropck outlives type opMichael Goulet-10/+14
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+7
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+15
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-4/+5
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-31Add special-case for [T, 0] in dropckBryanskiy-2/+9
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-3/+3
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+20
2024-01-23Random type checker changesMichael Goulet-34/+5
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+1
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-1/+1
2023-11-02only erase param env regions where neededlcnr-1/+1
2023-11-02dropck_outlives check generator witness needs_droplcnr-13/+22
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-8/+8
2023-10-20s/Generator/Coroutine/Oli Scherer-5/+5
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-3/+1
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-3/+3
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-16/+13
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-3/+3
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-3/+3
2023-05-27Uplift complex type ops back into typeck so we can call them locallyMichael Goulet-2/+267
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2022-12-13Combine identical alias armsMichael Goulet-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-07-04rip out `RegionCtxt` from hir typecklcnr-67/+3
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-03-019 - Make more use of `let_chains`Caio-15/+13
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-1/+1