What you already write, and what it becomes here — plus the handful of things that will genuinely surprise you, which is the part a syntax table cannot carry.
Classes without inheritance, null in the type system.
The closest relative — and where it parts ways.
Generics that monomorphise, errors that are not values.
Counting instead of borrowing, and why.
The same machine, with the footguns removed.
RAII you already understand, without the rest.
Nullable reference types, taken all the way.
The same readability, checked before it runs.
No coercions, no undefined, no second equality.