summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/relate.rs
AgeCommit message (Expand)AuthorLines
2022-10-29Add normalize hack backMichael Goulet-2/+13
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
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 01:14:32 +0000