update link
This commit is contained in:
parent
9bd6e7d307
commit
e9b02efb14
|
|
@ -18,7 +18,7 @@ an extended set of examples in the [`chalk/src/test/wf.rs`][wf_test] submodule.
|
||||||
The new-style WF checking has not been implemented in rustc yet.
|
The new-style WF checking has not been implemented in rustc yet.
|
||||||
|
|
||||||
[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/wf.rs
|
[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/wf.rs
|
||||||
[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
|
||||||
|
|
||||||
We give here a complete reference of the generated goals for each Rust
|
We give here a complete reference of the generated goals for each Rust
|
||||||
declaration.
|
declaration.
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue