about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-02-09Fix subst issue with object_ty_for_traitMichael Goulet-5/+3
2023-02-03Autotrait bounds on dyn-safe trait methodsDavid Tolnay-10/+50
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-2/+3
2023-01-28Make `is_object_safe` a query and move lint_object_unsafe_trait call thereGary Guo-14/+32
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-4/+4
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2022-12-14Fix a freshly detected wrong TraitRefOli Scherer-9/+5
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-3/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-3/+3
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-4/+4
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 11:19:23 +0000