From 4474e252fe985390f63ee4a21043c61735119612 Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Wed, 4 Mar 2026 10:01:09 +0100 Subject: [PATCH] Add change note --- .../2026-03-04-flow-feature-escapes-source-call-context.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 shared/dataflow/change-notes/2026-03-04-flow-feature-escapes-source-call-context.md diff --git a/shared/dataflow/change-notes/2026-03-04-flow-feature-escapes-source-call-context.md b/shared/dataflow/change-notes/2026-03-04-flow-feature-escapes-source-call-context.md new file mode 100644 index 00000000000..b7b61b75411 --- /dev/null +++ b/shared/dataflow/change-notes/2026-03-04-flow-feature-escapes-source-call-context.md @@ -0,0 +1,4 @@ +--- +category: feature +--- +* Two new flow features `FeatureEscapesSourceCallContext` and `FeatureEscapesSourceCallContextOrEqualSourceSinkCallContext` have been added. The former implies that the sink must be reached from the source by escaping the source call context, that is, flow must either return from the callable containing the source or use a jump-step before reaching the sink. The latter is the disjunction of the former and the existing `FeatureEqualSourceSinkCallContext` flow feature. \ No newline at end of file