summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
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
2022-06-03Normalize consts' tys when relating with adt_const_paramsMichael Goulet-4/+9
2022-05-13Add bound_type_ofJack Huey-3/+3
2022-05-10Introduce EarlyBinderJack Huey-2/+3
2022-04-17Split relate_substs into two functionsMartin Gammelsæter-28/+33
2022-04-16Optimize relate_substs by extracting matchMartin Gammelsæter-12/+12
2022-03-25Auto merge of #95082 - spastorino:overlap-inherent-impls, r=nikomatsakisbors-1/+25
2022-03-24Extract impl_subject_and_oglibations fn and make equate receive subjectsSantiago Pastorino-1/+25
2022-03-21try to evaluate in try_unifyb-naber-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-3/+1
2022-02-18Rollup merge of #93634 - matthiaskrgr:clippy_complexity_jan_2022, r=oli-obkMatthias Krüger-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-21/+21
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-2/+2
2022-02-03compiler: clippy::complexity fixesMatthias Krüger-1/+1
2022-01-17Add term to ExistentialProjectionkadmin-4/+4
2022-01-17Update term for use in more placeskadmin-7/+18
2022-01-17Use Term in ProjectionPredicatekadmin-5/+8
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-1/+1
2022-01-15initial revertEllen-4/+4
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-10/+27
2021-12-19Rollup merge of #91984 - Aaron1011:rustc-middle-lifetime, r=oli-obkMatthias Krüger-5/+5
2021-12-18Rollup merge of #92022 - woodenarrow:br_expected_bool, r=estebankMatthias Krüger-9/+1
2021-12-17Eliminate duplicate codes of expected_found_boollzh-9/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 19:59:47 +0000