File tree 1 file changed +2
-2
lines changed
src/borrow_check/region_inference
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -112,8 +112,8 @@ induces an edge `'a -> 'b`. This conversion happens in the
112
112
[ ` RegionInferenceContext::new ` ] function that creates the inference
113
113
context.
114
114
115
- [ `ConstraintSet` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/constraints/struct.ConstraintSet .html
116
- [ graph-fn ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/constraints/struct.ConstraintSet .html#method.graph
115
+ [ `ConstraintSet` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/constraints/struct.OutlivesConstraintSet .html
116
+ [ graph-fn ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/constraints/struct.OutlivesConstraintSet .html#method.graph
117
117
[ `RegionInferenceContext::new` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/region_infer/struct.RegionInferenceContext.html#method.new
118
118
119
119
When using a graph representation, we can detect regions that must be equal
You can’t perform that action at this time.
0 commit comments