summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2025-05-29Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errorsbors-1/+26
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-26add additional `TypeFlags` fast pathslcnr-1/+26
2025-04-29canonical no type foldable :<lcnr-2/+0
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+1
2025-04-18Rollup merge of #138528 - dianne:implicit-deref-patterns, r=NadrierilMatthias Krüger-0/+6
2025-04-15Split TypeFolder and FallibleTypeFolderMichael Goulet-66/+121
2025-04-12store the kind of pattern adjustments in `pat_adjustments`dianne-0/+6
2025-04-04Fix `Debug` impl for `LateParamRegionKind`.Nicholas Nethercote-4/+4
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 21:58:02 +0000