about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2021-09-22Support `#[track_caller]` on closures and generatorsAaron Hill-5/+5
2021-08-27Add `ty::BoundConstness`Deadbeef-3/+3
2021-08-26shrink `ty::PredicateKind` againlcnr-0/+25
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+4
2021-08-26don't just compare `ty::Const`lcnr-0/+4
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-0/+4
2021-08-26make unevaluated const substs optionallcnr-8/+23
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+9
2021-08-13move Constness into TraitPredicateDeadbeef-10/+8
2021-04-08Use more accurate spans for trait/impl method arg divergenceEsteban Küber-0/+2
2021-03-31Track bound varsJack Huey-2/+4
2021-03-31Add tcx lifetime to BinderJack Huey-5/+9
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-3/+7
2021-01-18Move a few more types to `rustc_type_ir`LeSeulArtichaut-58/+1
2021-01-16More review commentsJack Huey-2/+2
2021-01-16Review changesJack Huey-35/+35
2021-01-16CleanupJack Huey-3/+3
2021-01-16fold_with not super_fold_with in TypeFoldable impl for PredicateJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-17/+0
2021-01-16Intermediate formatting and suchJack Huey-2/+2
2021-01-16Remove PredicateKind::AtomJack Huey-2/+0
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-4/+4
2020-12-11Move binder for dyn to each list itemJack Huey-2/+2
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-27/+27
2020-11-16wordslcnr-46/+14
2020-11-16compiler: fold by valueBastian Kauschke-49/+51
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-27/+27
2020-11-05Rust coverage before splitting instrument_coverage.rsRich Kadel-0/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-27/+27
2020-10-30TypeVisitor: use `std::ops::ControlFlow` instead of `bool`LeSeulArtichaut-56/+72
2020-10-23move `visit_predicate` into `TypeVisitor`Bastian Kauschke-10/+0
2020-10-21reviewBastian Kauschke-4/+2
2020-10-21Lift: take self by valueBastian Kauschke-120/+106
2020-10-16map_bound_ref -> rebindJack Huey-1/+1
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-1/+1
2020-09-21check for cycles when unifying const variablesBastian Kauschke-0/+1
2020-09-16Rollup merge of #75304 - Aaron1011:feature/diag-deref-move-out, r=estebankDylan DPC-2/+5
2020-09-10Note when a a move/borrow error is caused by a deref coercionAaron Hill-2/+5
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+7
2020-09-04Change ty.kind to a methodLeSeulArtichaut-9/+9
2020-09-02pretty: trim paths of unique symbolsDan Aloni-6/+10
2020-08-30mv compiler to compiler/mark-0/+1166