about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
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
2022-12-18don't restuct references just to reborrowMatthias Krüger-1/+1
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+2
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-3/+3
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-7/+7
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-15/+7
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-3/+4
2022-12-13Fast path some binder relationsMichael Goulet-2/+2
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-4/+1
2022-11-25Make `expand_abstract_consts` infallibleBoxy-6/+2
2022-11-25`super_relate_consts` do not spurriously fail on assoc constsBoxy-16/+9
2022-11-25add FIXME'sBoxy-0/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 21:47:13 +0000