about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/query.rs
AgeCommit message (Expand)AuthorLines
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