diff options
Diffstat (limited to 'tests/ui/rfcs/rfc-2632-const-trait-impl/effects/project.rs')
| -rw-r--r-- | tests/ui/rfcs/rfc-2632-const-trait-impl/effects/project.rs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/project.rs b/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/project.rs index b30d7743edf..e22eed3e0ef 100644 --- a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/project.rs +++ b/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/project.rs @@ -1,7 +1,12 @@ -// check-pass +// known-bug: #110395 +// FIXME: effects + #![feature(const_trait_impl, effects)] -pub trait Owo<X = <Self as Uwu>::T> {} +// This fails because `~const Uwu` doesn't imply (non-const) `Uwu`. + +// FIXME: #[const_trait] +pub trait Owo<X = <Self as /* FIXME: ~const */ Uwu>::T> {} #[const_trait] pub trait Uwu: Owo { |