Skip to content

Commit d524f88

Browse files
committed
Auto merge of #143879 - fee1-dead-contrib:push-lrlpoouyqqry, r=fmease
parse `const trait Trait` r? oli-obk or anyone from project-const-traits cc `@rust-lang/project-const-traits`
2 parents 4d2cfff + 73bf010 commit d524f88

File tree

1 file changed

+3
-6
lines changed

1 file changed

+3
-6
lines changed

src/effects.md

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -67,10 +67,8 @@ in [`wfcheck::check_impl`].
6767
Here's an example:
6868

6969
```rust
70-
#[const_trait]
71-
trait Bar {}
72-
#[const_trait]
73-
trait Foo: ~const Bar {}
70+
const trait Bar {}
71+
const trait Foo: ~const Bar {}
7472
// `const_conditions` contains `HostEffect(Self: Bar, maybe)`
7573

7674
impl const Bar for () {}
@@ -85,8 +83,7 @@ predicates of the trait method, and we attempt to prove the predicates of the
8583
impl method. We do the same for `const_conditions`:
8684

8785
```rust
88-
#[const_trait]
89-
trait Foo {
86+
const trait Foo {
9087
fn hi<T: ~const Default>();
9188
}
9289

0 commit comments

Comments
 (0)