about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Add outlives to CoroutineWitnessTypesMichael Goulet-0/+1
2025-07-04Fix pretty printing of placeholder typesMichael Goulet-1/+1
2025-07-04Same for typesMichael Goulet-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-12/+10
2025-06-25make `tidy-alphabetical` use a natural sortFolkert de Vries-6/+6
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