summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-3/+3
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-14/+13
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-3/+3
2023-04-26Don't return a `Binder` from `TraitRef::identity`Maybe Waffle-5/+6
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-7/+4
2023-04-25Remove some useless `ty::Binder::dummy` callsMaybe Waffle-6/+3
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-7/+11
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-2/+1
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-1/+1
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-2/+3
2023-04-06Get rid of elaborate_trait_ref{s} tooMichael Goulet-2/+3
2023-04-06Make elaborator genericMichael Goulet-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 21:40:24 +0000