about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2024-06-05Basic removal of `Ty` from places (boring)Boxy-14/+5
2024-06-04Downsize `ty::Expr`Boxy-9/+29
2024-06-01Yeet PolyFnSig from InternerMichael Goulet-12/+0
2024-05-21Uplift binderMichael Goulet-32/+0
2024-05-20Uplift TermKindMichael Goulet-7/+4
2024-05-20Uplift RegionVidMichael Goulet-12/+0
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-05-16Uplift FnSigMichael Goulet-43/+0
2024-05-13Uplift AliasTyMichael Goulet-35/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-11Uplift `NormalizesTo`, `CoercePredicate`, and `SubtypePredicate`Michael Goulet-6/+0
2024-05-11Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate`Michael Goulet-12/+0
2024-05-11Uplift `TraitPredicate`Michael Goulet-7/+0
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-6/+0
2024-05-10Lift `Lift`Michael Goulet-2/+2
2024-04-19coverage. Generate Mappings of decisions and conditions for MC/DCzhuyunxing-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+40
2024-04-04cache type info for ParamEnvLukas Markeffsky-1/+13
2024-04-02Track reason for creating a `ReifyShim`Matthew Maurer-0/+1
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-0/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-03-13coverage: Add `CoverageKind::BlockMarker`Zalathar-0/+1
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-48/+27
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+4
2024-01-15Implement TypeVisitable and TypeFoldable for SpannedMartin Nordholts-0/+25
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-4/+2
2023-12-12Uplift TypeAndMutMichael Goulet-1/+0
2023-12-08Auto merge of #118725 - lcnr:normalizes-to-projection-split-3, r=BoxyUwUbors-0/+6
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+6
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-1/+2
2023-11-20Uplift InferConst to rustc_type_irMichael Goulet-28/+0
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-10-25Uplift Canonical to rustc_type_irMichael Goulet-1/+0
2023-10-25Auto merge of #116993 - compiler-errors:clause-kind, r=jackh726bors-38/+0
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-18/+6
2023-10-24Rollup merge of #117091 - compiler-errors:debug, r=lcnrMatthias Krüger-30/+30
2023-10-23Remove redundant type parameterMichael Goulet-30/+30
2023-10-23Naming nitsMichael Goulet-22/+22
2023-10-21Make `ty::print::Printer` take `&mut self` instead of `self`Nilstrieb-13/+10
2023-10-20Uplift ClauseKind and PredicateKindMichael Goulet-38/+0
2023-10-20s/Generator/Coroutine/Oli Scherer-6/+6
2023-09-24Remove span from BrAnon.Camille GILLOT-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-5/+3
2023-09-21coverage: Don't bother renumbering expressions on the Rust sideZalathar-1/+0
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-0/+1
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-96/+25
2023-09-18Rename `CloneLiftImpls` as `TrivialLiftImpls`.Nicholas Nethercote-1/+1
2023-09-16make ty::Const debug printing less verboseRalf Jung-6/+20
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-0/+1
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-0/+8