Skip to content

Add @Confined correctness contract for call- and frame-confined types - #12997

Draft
dougqh wants to merge 3 commits into
dougqh/apmlp-1642-queue-apifrom
dougqh/confined-correctness-contract
Draft

dougqh wants to merge 3 commits into
dougqh/apmlp-1642-queue-apifrom
dougqh/confined-correctness-contract

Place the correctness contract annotations in datadog.contract

b017ada
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar