Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
»

precondition_fault

fuzion.runtime.precondition_fault

cause a precondition fault with given msg argument, i.e., call pre_fault.cause
msg, i.e., use the current pre_fault effect to fail with the given message.
0.094dev (2025-07-10 15:41:47 GIT hash eafa42ae743de61b62f958948d7abb5fada7756f built by fridi@fzen)