Skip to content

Merge pull request #18656 from hvitved/rust/record-destruct-shorthand #2229

Merge pull request #18656 from hvitved/rust/record-destruct-shorthand

Merge pull request #18656 from hvitved/rust/record-destruct-shorthand #2229