summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-03-22Update local variables and tracing callsLeón Orell Valerian Liehr-3/+2
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-2/+3
2024-03-22Rename AstConv to HIR ty loweringLeón Orell Valerian Liehr-1/+1
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-2/+5
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-4/+4
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