about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/query.rs
AgeCommit message (Collapse)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
Projection types in user annotations may contain inference variables. This makes the normalization depend on the unification with the actual type and thus requires a separate TypeOp to track the obligations. Otherwise simply calling `TypeChecker::normalize` would ICE with "unexpected ambiguity"
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
This change was made as per suspicion that this struct was never renamed after consistent use of DropCk. This also clarifies the meaning behind the name of this structure.
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
Changes `librustc_X` to `rustc_X`, only in documentation comments. Plain code comments are left unchanged. Also fix incorrect file paths.
2021-03-27Remove (lots of) dead codeJoshua Nelson-12/+0
Found with https://github.com/est31/warnalyzer. Dubious changes: - Is anyone else using rustc_apfloat? I feel weird completely deleting x87 support. - Maybe some of the dead code in rustc_data_structures, in case someone wants to use it in the future? - Don't change rustc_serialize I plan to scrap most of the json module in the near future (see https://github.com/rust-lang/compiler-team/issues/418) and fixing the tests needed more work than I expected. TODO: check if any of the comments on the deleted code should be kept.
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