about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2021-09-15Remove ToPolyTraitRef impl for TraitRefjackh726-7/+6
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-5/+7
2021-09-12Rollup merge of #88709 - BoxyUwU:thir-abstract-const, r=lcnrManish Goregaokar-1/+1
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-2/+2
2021-09-09add a `CastKind` to `Node::Cast`Ellen-1/+1
2021-09-09rename mir -> thir around abstract constsEllen-1/+1
2021-09-09tidyEllen-3/+3
2021-09-09dont support blocksEllen-2/+1
2021-09-09as casts and block exprsEllen-1/+1
2021-09-09WIP stateEllen-3/+4
2021-09-01cleanup const generics FIXMElcnr-30/+5
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-1/+1
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-2/+2
2021-08-26add `tcx` to `fn walk`lcnr-1/+1
2021-08-26make unevaluated const substs optionallcnr-2/+2
2021-08-26require a `tcx` for `TypeVisitor`lcnr-0/+3
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+2
2021-08-13move Constness into TraitPredicateDeadbeef-2/+2
2021-06-09Add more tests + visit_ty in some placesEllen-8/+8
2021-06-08Support as casts in abstract constsEllen-6/+8
2021-04-27Make traits with GATs not object safeJack Huey-0/+8
2021-04-19Small refactorCameron Steffen-2/+1
2021-03-31Some rebinds and dummysJack Huey-6/+10
2021-02-13Remove some unnecessary `trait_ref` callsMatthew Jasper-5/+1
2021-02-04remove subst_supertrait callb-naber-3/+1
2021-02-01more things are const evaluatable *sparkles*Ellen-2/+2
2021-01-16Review changesJack Huey-25/+25
2020-12-19More rebindsJack Huey-2/+2
2020-12-11Move binder for dyn to each list itemJack Huey-16/+12
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-3/+5
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-11-14Set the default `BreakTy` to `!`LeSeulArtichaut-0/+2
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-3/+3
2020-11-05Fix even more URLsGuillaume Gomez-1/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-3/+3
2020-10-30Use `ControlFlow::is{break,continue}`LeSeulArtichaut-2/+3
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-12/+22
2020-10-29Rollup merge of #78422 - estebank:fix-78372, r=pnkfelixJonas Schievink-7/+13
2020-10-26Do not ICE on invalid inputEsteban Küber-7/+13
2020-10-25check for object safety violations in constantsBastian Kauschke-24/+61
2020-10-20review commentsEsteban Küber-45/+46
2020-10-20Tweak "object unsafe" errorsEsteban Küber-28/+42
2020-10-06Check associated type bounds for object safety violationsMatthew Jasper-39/+62
2020-10-03Replace some once(x).chain(once(y)) with [x, y] IntoIterScott McMurray-2/+2
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-7/+5
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+789
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 05:03:57 +0000