about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-05-02fix most compiler/ doctestsElliot Roberts-7/+7
2022-04-30Inline WhereClause into Generics.Camille GILLOT-3/+2
2022-04-05errors: implement fallback diagnostic translationDavid Wood-4/+1
2022-04-05span: move `MultiSpan`David Wood-2/+2
2022-04-02Make GATs object safe under generic_associated_types_extended featureJack Huey-10/+12
2022-02-19rustc_trait_selection: adopt let else in more placesest31-5/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-2/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+2
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-9/+15
2022-01-17Add term to ExistentialProjectionkadmin-1/+1
2022-01-15unrevert # 88557Ellen-28/+5
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-2/+2
2022-01-15initial revertEllen-9/+29
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-5/+2
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-2/+6
2021-12-04Use IntoIterator for array impl everywhere.Mara Bos-6/+2
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-6/+2
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-29Add constness to ParamEnvOli Scherer-1/+5
2021-10-21Rollup merge of #88644 - eopb:abstractconst_leaf_subst, r=lcnrYuki Okushi-8/+7
2021-10-16Adopt let_else across the compilerest31-3/+1
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-04Make fields on `AbstractConst` privateEthan Brierley-1/+1
2021-09-04Remove left over commentEthan Brierley-4/+1
2021-09-04`AbstractConst::root`: Always run `subst` when `Node` is `Leaf`Ethan Brierley-8/+10
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