Commit 73bf010

committed

parse const trait Trait

1 parent 387e047 commit 73bf010Copy full SHA for 73bf010

File tree

-6

lines changed

-6

lines changed

Lines changed: 3 additions & 6 deletions

Original file line number	Diff line number	Diff line change
@@ -67,10 +67,8 @@ in [`wfcheck::check_impl`].
`67`	`67`	`Here's an example:`
`68`	`68`
`69`	`69`	```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 {}`
`74`	`72`	// `const_conditions` contains `HostEffect(Self: Bar, maybe)`
`75`	`73`
`76`	`74`	`impl const Bar for () {}`
`@@ -85,8 +83,7 @@ predicates of the trait method, and we attempt to prove the predicates of the`
`85`	`83`	impl method. We do the same for `const_conditions`:
`86`	`84`
`87`	`85`	```rust
`88`		`-#[const_trait]`
`89`		`-trait Foo {`
	`86`	`+const trait Foo {`
`90`	`87`	`fn hi<T: ~const Default>();`
`91`	`88`	`}`
`92`	`89`

Comments

(0)