about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
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
2020-12-11Move binder for dyn to each list itemJack Huey-8/+12
2020-12-02add comment to `visit_ct_substs`Bastian Kauschke-0/+5
2020-12-02const_evaluatable_checked: fix occurs checkBastian Kauschke-1/+5
2020-10-26Suggest expressions that look like const generic arguments should be enclosed...varkor-1/+1
2020-09-18use abstract consts when unifying ConstKind::UnevaluatedBastian Kauschke-1/+14
2020-09-04Change ty.kind to a methodLeSeulArtichaut-3/+3
2020-08-30mv compiler to compiler/mark-0/+757
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 11:37:50 +0000