Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sloppy repro of "mandatory folded edges" not being considered mandatory. #717

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
+12 −0
Draft

Sloppy repro of "mandatory folded edges" not being considered mandatory. #717

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions trustfall_core/src/interpreter/hints/tests/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1204,6 +1204,18 @@ mod static_property_values {
Some(CandidateValue::Single(FieldValue::Int64(1))),
next_neighbor.statically_required_property("value"),
);

let next_edge_info = destination.first_mandatory_edge("predecessor").expect("no mandatory 'predecessor' edge info");
let next_neighbor = next_edge_info.destination();
assert_eq!(vid(3), next_neighbor.vid());

// This value *is* statically known here: the "fold-count-filter" around it
// ensures that at least one such value must exist, or else vertices
// from the currently-resolved edge will be discarded.
assert_eq!(
Some(CandidateValue::Single(FieldValue::Int64(1))),
next_neighbor.statically_required_property("value"),
);
})),
eid(2) => TrackCalls::<ResolveEdgeInfoFn>::new_underlying(Box::new(|info| {
let destination = info.destination();
Expand Down
Loading