about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
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
2022-11-25fmtBoxy-2/+2
2022-11-25Add expand_abstract_constkadmin-4/+4
2022-11-25Add empty ConstKind::Abstractkadmin-3/+58
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-10/+22
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+4
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-10/+18
2022-11-21Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgrbors-1/+1
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-14Drop `relate_opaque_item_substs`.Camille GILLOT-23/+12
2022-11-12Inherit generics for impl-trait.Camille GILLOT-1/+21
2022-11-04Refactor tcx mk_const parameters.Mateusz-4/+4
2022-10-23Add normalize hack backMichael Goulet-2/+13
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-1/+1
2022-09-22introduce mir::Unevaluatedb-naber-10/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-2/+4
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-2/+4
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-2/+4
2022-09-08stop evaluating constants in `Relate`lcnr-4/+0
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-5/+5
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-64/+1
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 22:28:33 +0000