about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2023-10-03Make non-zero check more obviousMaybe Waffle-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+0
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-4/+2
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-5/+1
2023-07-14Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorinoMatthias Krüger-1/+1
2023-07-14Make it clearer that we're just checking for an RPITITMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-10/+10
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+3
2023-07-05Make all generics_require_sized_self go through the query to get caching.Oli Scherer-3/+3
2023-07-05Don't require associated types with `Self: Sized` bounds in `dyn Trait` objectsOli Scherer-1/+6
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+2
2023-06-26TypeWellFormedInEnvMichael Goulet-2/+4
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-40/+20
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-1/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-15/+15
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+2
2023-06-17Move WF goal to clauseMichael Goulet-2/+2
2023-06-05Merge method, type and const object safety checksOli Scherer-51/+43
2023-06-05Avoid going through queries if a value of type `AssocItem` is already availableOli Scherer-1/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 08:27:02 +0000