diff options
| author | Samuel Tardieu <sam@rfc1149.net> | 2025-07-15 12:52:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-15 12:52:43 +0200 |
| commit | cc26852148d93e6598c174eb3df807a9e9dd8f6a (patch) | |
| tree | 1edc8f75403cbec807b89b5542e3f842bc5652f4 /compiler | |
| parent | 2e37e241792643abb837dbcaca454b0e02fc5002 (diff) | |
| parent | 000e67aafb7ae8c755387a073f34662c4f6fc335 (diff) | |
Rollup merge of #143927 - oli-obk:const-dyn-trait-hir-ty, r=fmease
Preserve constness in trait objects up to hir ty lowering
r? ``@compiler-errors``
While we don't support `dyn const Trait`, we can at least also inform the user that `const Trait` is only legal for `#[const_trait] trait Trait {}`
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/hir_ty_lowering/dyn_compatibility.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/hir_ty_lowering/dyn_compatibility.rs b/compiler/rustc_hir_analysis/src/hir_ty_lowering/dyn_compatibility.rs index cb106962be1..364ad38556b 100644 --- a/compiler/rustc_hir_analysis/src/hir_ty_lowering/dyn_compatibility.rs +++ b/compiler/rustc_hir_analysis/src/hir_ty_lowering/dyn_compatibility.rs @@ -49,7 +49,7 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ { } = self.lower_poly_trait_ref( &trait_bound.trait_ref, trait_bound.span, - hir::BoundConstness::Never, + trait_bound.modifiers.constness, hir::BoundPolarity::Positive, dummy_self, &mut user_written_bounds, |