We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bc8a971 commit e24e36fCopy full SHA for e24e36f
src/traits/wf.md
@@ -18,7 +18,7 @@ an extended set of examples in the [`chalk/src/test/wf.rs`][wf_test] submodule.
18
The new-style WF checking has not been implemented in rustc yet.
19
20
[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/wf.rs
21
-[wf_test]: https://github.com/rust-lang/chalk/blob/master/src/test/wf.rs
+[wf_test]: https://github.com/rust-lang/chalk/blob/master/src/test/wf_lowering.rs
22
23
We give here a complete reference of the generated goals for each Rust
24
declaration.
0 commit comments