about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+9
2025-04-28Split out various pattern type matches into their own functionOli Scherer-1/+2
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-12/+3
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-12/+11
2025-02-21Assert that we always construct dyn types with the right number of projectionsMichael Goulet-0/+3
2025-02-21Do not deduplicate list of associated types provided by dyn principalMichael Goulet-14/+4
2024-11-26Rollup merge of #133362 - compiler-errors:existential-preds, r=BoxyUwUMichael Goulet-4/+0
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-2/+2
2024-11-23No need to re-sort existential predsMichael Goulet-4/+0
2024-10-22do not relate `Abi` and `Safety`lcnr-22/+0
2024-10-07Simplify two matches.Nicholas Nethercote-9/+1
2024-07-17Fix relationsMichael Goulet-2/+2
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-12/+0
2024-06-06Uplift TypeRelation and RelateMichael Goulet-704/+113
2024-06-05ty::Expr reviewsBoxy-3/+5
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-7/+6
2024-06-04Downsize `ty::Expr`Boxy-40/+12
2024-06-01Uplift TypeRelation and RelateMichael Goulet-22/+0
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-17Rename Unsafe to SafetySantiago Pastorino-7/+7
2024-05-13Apply nitsMichael Goulet-9/+10
2024-05-13split out AliasTy -> AliasTermMichael Goulet-0/+28
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-9/+18
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+38
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-4/+4
2024-03-22Further simplificationsMichael Goulet-15/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-0/+14
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-4/+1
2024-03-22Ty::new_ref and Ty::new_ptr stop using TypeAndMutMichael Goulet-2/+2
2024-03-22Remove TypeAndMut from relateMichael Goulet-29/+32
2024-03-01Fallout from removing a_is_expectedMichael Goulet-53/+25
2024-03-01Remove causeMichael Goulet-11/+6
2024-02-07Do not create param types that differ only by name when comparing intrinsic s...Michael Goulet-1/+1
2024-02-07Assert that ParamTy and ParamConst have identical names for identical indicesMichael Goulet-2/+8
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+7
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-4/+2
2023-12-19Remove param env from relation altogetherMichael Goulet-2/+0
2023-12-19Do not evaluate in structurally_relate_tysMichael Goulet-7/+3
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-4/+4
2023-10-20s/Generator/Coroutine/Oli Scherer-15/+15
2023-10-18AliasTy::new instead of tcx methodlcnr-1/+1
2023-10-04Make it clear that args default to being related invariantlyMichael Goulet-10/+10
2023-10-04Remove unnecessary relate implMichael Goulet-13/+0
2023-10-04Relate AliasTy considering varianceMichael Goulet-19/+15
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-12/+2
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 04:48:03 +0000