A generic Must[T] you mean ;)

The GP is talking about compile time errors. You’re discussing exceptions, which is still a runtime check