summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2025-03-15Fold visit into tyMichael Goulet-4/+2
2025-03-15Squash fold into tyMichael Goulet-2/+4
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-03-06Prefer a two value enum over boolOli Scherer-0/+1
2025-02-22Fix binding mode problemsMichael Goulet-8/+8
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2025-02-13intern valtreesLukas Markeffsky-6/+2
2025-02-06Fix whitespace in lift macros.Nicholas Nethercote-6/+12
2025-02-06Clean up trivial traversal/lift impl generator macro calls.Nicholas Nethercote-46/+92
2025-02-03Refactor using the type-level constant value `ty::Value`FedericoBruzzone-1/+1
2025-01-30introduce `ty::Value`Lukas Markeffsky-12/+6
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 01:08:19 +0000