summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+2
2024-12-18introduce `LateParamRegionKind`lcnr-1/+17
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+2
2024-11-23no more Reveal :(lcnr-1/+0
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-3/+3
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-5/+5
2024-10-22do not relate `Abi` and `Safety`lcnr-2/+5
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-10/+8
2024-07-17lift_to_tcx -> lift_to_internerMichael Goulet-2/+2
2024-07-16Remove an unnecessary implOli Scherer-6/+0
2024-07-16Make `ErrorGuaranteed` discoverable outside types, consts, and lifetimesOli Scherer-2/+17
2024-06-21Rename a bunch of thingsMichael Goulet-4/+4
2024-06-11Remove DebugWithInfcxMichael Goulet-88/+15
2024-06-06Uplift TypeErrorMichael Goulet-7/+1
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-7/+10
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 01:57:29 +0000