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 696ff58 commit e465bd9Copy full SHA for e465bd9
polonius-engine/src/output/initialization.rs
@@ -171,8 +171,8 @@ fn compute_move_errors<T: FactTypes>(
171
172
// path_maybe_uninitialized_on_exit(path, point2) :-
173
// path_maybe_uninitialized_on_exit(path, point1),
174
- // cfg_edge_(point1, point2)
175
- // !path_assigned_at(point1, point2).
+ // cfg_edge(point1, point2)
+ // !path_assigned_at(path, point2).
176
path_maybe_uninitialized_on_exit.from_leapjoin(
177
&path_maybe_uninitialized_on_exit,
178
(
0 commit comments