Skip to content

Commit 2eca6d6

Browse files
committed
add a comment as to the purpose of tainted regions
1 parent 0ec6e29 commit 2eca6d6

File tree

1 file changed

+5
-0
lines changed
  • src/librustc/infer/region_inference

1 file changed

+5
-0
lines changed

src/librustc/infer/region_inference/mod.rs

+5
Original file line numberDiff line numberDiff line change
@@ -276,6 +276,11 @@ pub struct RegionSnapshot {
276276
skolemization_count: u32,
277277
}
278278

279+
/// When working with skolemized regions, we often wish to find all of
280+
/// the regions that are either reachable from a skolemized region, or
281+
/// which can reach a skolemized region, or both. We call such regions
282+
/// *tained* regions. This struct allows you to decide what set of
283+
/// tainted regions you want.
279284
#[derive(Debug)]
280285
pub struct TaintDirections {
281286
incoming: bool,

0 commit comments

Comments
 (0)