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 300412d commit 81fc310Copy full SHA for 81fc310
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