Add doc-comment describing AddRegionConstraint

rust-lang · Jun 15, 2020 · e755dec · e755dec
1 parent af19b7e
commit e755dec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/chalk-ir/src/lib.rs b/chalk-ir/src/lib.rs
@@ -2182,6 +2182,7 @@ pub enum GoalData<I: Interner> {
     /// proven via program clauses
     DomainGoal(DomainGoal<I>),
 
+    /// Adds a region constraint requiring `'a : 'b`, given two lifetimes `'a, 'b`
     AddRegionConstraint(Lifetime<I>, Lifetime<I>),
 
     /// Indicates something that cannot be proven to be true or false