about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
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
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-77/+76
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-9/+3
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-17/+20
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-3/+6
2023-07-03fix structurally relate for weak aliaseslcnr-11/+15
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+1
2023-05-31move hack to `normalize_param_env_or_error`Boxy-11/+0
2023-05-15Rename super_relate_* to structurally_relate_*Michael Goulet-14/+17
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+5
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-16Don't `use rustc_hir as ast`(!)Nicholas Nethercote-7/+7
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-22/+10
2023-02-24Rename many interner functions.Nicholas Nethercote-7/+8
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+1
2023-02-15Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c...bors-20/+0
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-2/+2
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-1/+1
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-20/+0
2023-02-05emit `ConstEquate` in `TypeRelating<D>`Boxy-15/+15
2023-01-28Rollup merge of #107339 - aliemjay:covariant, r=lcnrMatthias Krüger-12/+2
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+10
2023-01-27internally change regions to be covariantAli MJ Al-Nasrawy-12/+2
2023-01-11Reuse ErrorGuaranteed during relationMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 10:35:01 +0000