So you think marking an invariant with `nothrow` even though no `Exception` will ever escape is okay? It still forces the invariant body to not throw, though.