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.
1 parent de83bca commit 09d22ccCopy full SHA for 09d22cc
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