about summary refs log tree commit diff
path: root/compiler/rustc_feature/src/unstable.rs
diff options
context:
space:
mode:
authorJacob Pratt <jacob@jhpratt.dev>2025-08-21 01:12:21 -0400
committerGitHub <noreply@github.com>2025-08-21 01:12:21 -0400
commit64c43edffedaee7c06c024ea7fc3f84f73cac81f (patch)
treef4b8dd9cede27b9088b0496723bcd00d25816089 /compiler/rustc_feature/src/unstable.rs
parent803456aeffe837096d9dcc1640a62d19b6c443eb (diff)
parente57e5f02b8fa3272d1ec4f75a0ab66dfed9b9b9b (diff)
downloadrust-64c43edffedaee7c06c024ea7fc3f84f73cac81f.tar.gz
rust-64c43edffedaee7c06c024ea7fc3f84f73cac81f.zip
Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1-dead
Unconditionally-const supertraits are considered not dyn compatible

Let's save some space in the design of const traits by making `dyn Trait` where `trait Trait: const Super` not dyn compatible.

Such a trait cannot satisfy `dyn Trait: Trait`; we could in the future make this dyn compatible but *NOT* implement `Trait`, but that's a bit weird and seems like it needs to be independently justified moving forward.

Fixes https://github.com/rust-lang/rust/issues/145198

r? fee1-dead
Diffstat (limited to 'compiler/rustc_feature/src/unstable.rs')
0 files changed, 0 insertions, 0 deletions