Rust: Add support for defining barriers and barrier guards using models-as-data#21475

owen-mc wants to merge 7 commits intogithub:maingithub/codeql:mainfrom

owen-mc:rust/mad-barriersowen-mc/codeql:rust/mad-barriersCopy head branch name to clipboard