about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-22/+20
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-2/+2
2023-03-20Enforce non-lifetime-binders in supertrait preds are not object safeMichael Goulet-1/+20
2023-03-12Fix object safety checks for new RPITITsSantiago Pastorino-3/+2
2023-03-12Filter out RPITITs in object_safety_violations_for_traitSantiago Pastorino-0/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-6/+7
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-6/+6
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+5
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-2/+2
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-2/+1
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-2/+2
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-2/+2
2023-02-15don't clone types that are copyMatthias Krüger-1/+1
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-6/+6
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 04:47:18 +0000