Rust: introduce `Unextracted` and `Missing` "marker" classes#17479

Merged

redsun82 merged 3 commits intomainfrom redsun82/rust-unextracted

Sep 16, 2024

+435-44

Commits on Sep 16, 2024

Rust: introduce Unextracted and Missing "marker" classes
Paolo Tranquilli
committed
Rust: commit forgotten new files
Paolo Tranquilli
committed
Merge branch 'main' into redsun82/rust-unextracted
Paolo Tranquilli
committed