>it’s a sentinel saying “I declare that this type conforms to the documented expectations” even though the expectations can’t be checked by a compiler. Interes

>it’s a sentinel saying “I declare that this type conforms to the documented expectations” even though the expectations can’t be checked by a compiler. Interesting. So perhaps the next step is to sprinkle asserts in randomly at runtime to help with catching bugs.