about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/query.rs
AgeCommit message (Expand)AuthorLines
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-02-20Remove unused items from `query.rs`.Nicholas Nethercote-6/+0
2025-02-11Deeply normalize signature in new solverMichael Goulet-0/+3
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-0/+7
2025-02-04Two minor `use` fixups.Nicholas Nethercote-2/+1
2024-12-11Arbitrary self types v2: use Receiver traitAdrian Taylor-1/+11
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-11/+14
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-0/+8
2024-10-17remove type_op constructorslcnr-25/+1
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-0/+8
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+8
2024-06-13Method resolution constrains hidden types instead of rejecting method candidatesOli Scherer-1/+1
2024-06-06Uplift TypeErrorMichael Goulet-7/+0
2024-06-06Make middle not rely on next_trait_solverMichael Goulet-1/+1
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-3/+2
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+2
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-3/+3
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-11-23remove unused pub fnklensy-11/+0
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-13/+8
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-06-19initial info dumpBoxy-1/+1
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-2/+0
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-1/+1
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-4/+2
2023-01-07make ascribe_user_type a TypeOpAli MJ Al-Nasrawy-7/+4
2022-12-19implement the skeleton of the updated trait solverlcnr-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-3/+2
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-1/+3
2022-09-05fix comment111-2/+1
2022-09-01Migrate DropCheckOverflow111-10/+3
2022-07-29remove some manual hash stable implslcnr-25/+1
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-8/+13
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-7/+7
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-5/+4
2021-10-03Remove re-export.Camille GILLOT-1/+1
2021-04-08Fix outdated crate names in compiler docspierwill-1/+1
2021-03-27Remove (lots of) dead codeJoshua Nelson-12/+0
2020-09-04Remove unused duplicated `trivial_dropck_outlives`Jonas Schievink-68/+0
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+330
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 22:26:29 +0000