summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-18/+3
2022-11-25Make `expand_abstract_consts` infallibleBoxy-17/+2
2022-11-25Add expand_abstract_constkadmin-5/+2
2022-11-25Add empty ConstKind::Abstractkadmin-11/+14
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-8/+8
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-2/+1
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+2
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-10/+6
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-2/+2
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-8/+10
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+2
2022-11-19Improve spans for RPITIT object-safety errorsMichael Goulet-6/+15
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-3/+2
2022-10-19stop folding `UnevaluatedConst`lcnr-14/+4
2022-10-13Sort elaborated existential predicates in object_ty_for_traitMichael Goulet-11/+18
2022-10-09Elaborate trait ref to compute object safety.Camille GILLOT-29/+15
2022-10-07Auto merge of #102787 - Dylan-DPC:rollup-fvbb4t9, r=Dylan-DPCbors-13/+15
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-4/+3
2022-10-07Check WhereClauseReferencesSelf after all other object safety checksMichael Goulet-13/+15
2022-10-01Refactor rustc lint APIMaybe Waffle-31/+36
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-1/+1
2022-09-22introduce mir::Unevaluatedb-naber-2/+5
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-12Rename some variantsMichael Goulet-4/+2
2022-09-12Typecheck dyn* coercionsEric Holk-2/+2
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+3
2022-09-11Deny RPITIT for object safetyMichael Goulet-0/+26
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-1/+1
2022-07-12Move abstract const to rustc_middle::tykadmin-9/+7
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-2/+2
2022-06-25Fix span issues in object safety suggestionsMichael Goulet-33/+45
2022-06-08Folding revamp.Nicholas Nethercote-1/+3
2022-06-08Rename `TypeVisitor::visit_unevaluated_const`.Nicholas Nethercote-4/+1
2022-05-22Lifetime variance fixes for rustcMichael Goulet-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 06:59:29 +0000