about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-3/+1
2023-12-15Rollup merge of #119004 - matthiaskrgr:conv, r=compiler-errorsJubilee-1/+1
2023-12-15NFC don't convert types to identical typesMatthias Krüger-1/+1
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-1/+0
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-4/+4
2023-11-26don't add redundant help for object safety violationsRyan Mehri-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-13update type flagslcnr-1/+1
2023-10-30Detect object safety errors when assoc type is missingEsteban Küber-1/+1
2023-10-25Rollup merge of #116401 - WaffleLapkin:vtablin''', r=oli-obkMatthias Krüger-37/+47
2023-10-25Return multiple object-safety violation errorsMaybe Waffle-35/+42
2023-10-25Don't allow dead codeMaybe Waffle-1/+0
2023-10-25Add a comment explaining some weird `is_vtable_safe_method` behaviorMaybe Waffle-0/+4
2023-10-13Format all the let chains in compilerMichael Goulet-4/+3
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