about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
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
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-5/+5
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-13/+0
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-0/+13
2021-11-29Completely remove ConstnessAndOli Scherer-13/+0
2021-11-06type error go brrrrrrrrEllen-2/+6
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+15
2021-09-21add case for checking const refs in check_const_value_eqb-naber-0/+9
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-2/+2
2021-08-27Add `ty::BoundConstness`Deadbeef-4/+4
2021-08-26shrink `ty::PredicateKind` againlcnr-1/+1
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-1/+1
2021-08-26make unevaluated const substs optionallcnr-4/+4
2021-08-13Relate implDeadbeef-0/+13
2021-08-13move Constness into TraitPredicateDeadbeef-1/+18
2021-07-14consistently treat None-tagged pointers as ints; get rid of some deprecated S...Ralf Jung-1/+4
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-1/+1
2021-06-10Make `relate_type_and_mut` publicYuki Okushi-1/+1
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-28/+57
2021-04-08Use more accurate spans for trait/impl method arg divergenceEsteban Küber-0/+6
2021-03-31Add tcx lifetime to BinderJack Huey-8/+8
2021-03-31Some rebinds and dummysJack Huey-4/+3
2021-03-27Rollup merge of #82917 - cuviper:iter-zip, r=m-ou-seDylan DPC-13/+7
2021-03-27update testslcnr-3/+3
2021-03-27combine: stop eagerly evaluating constsBastian Kauschke-10/+1
2021-03-26Use iter::zip in compiler/Josh Stone-13/+7
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-11/+13
2021-03-19Do not ICE on ty::Error as an error must already have been reportedOli Scherer-5/+9
2021-03-12Pull out ConstValue relating into its own functionOli Scherer-46/+51
2021-03-12Reduce the duplication in the relation logic for constantsOli Scherer-67/+45
2021-03-12Reduce destructuring and re-interning where possibleOli Scherer-15/+18
2021-03-12Resolve a FIXME around type equality checks in Relate for constantsOli Scherer-6/+9
2021-03-10Rollup merge of #81309 - lcnr:lazy-norm-err-msgh, r=nikomatsakisDylan DPC-3/+5
2021-02-17remove useless ?s (clippy::needless_question_marks)Matthias Krüger-2/+2
2021-01-23always eagerly eval consts in RelateBastian Kauschke-3/+5
2020-12-20Auto merge of #79635 - lcnr:const-eval-idk, r=oli-obkbors-1/+10
2020-12-14Add explanation for skip_binder in relateJack Huey-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-20 06:22:45 +0000