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.
2 parents de83bca + 09d22cc commit ab8eb57Copy full SHA for ab8eb57
polonius-engine/src/facts.rs
@@ -25,7 +25,7 @@ pub struct AllFacts<T: FactTypes> {
25
26
/// `subset_base(origin1, origin2, point)` when we require `origin1@point: origin2@point`.
27
/// Indicates that `origin1 <= origin2` -- i.e., the set of loans in `origin1` are a subset
28
- // of those in `origin2`.
+ /// of those in `origin2`.
29
pub subset_base: Vec<(T::Origin, T::Origin, T::Point)>,
30
31
/// `loan_invalidated_at(point, loan)` indicates that the `loan` is invalidated by some action
0 commit comments