fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

checkcondition_fault

fuzion.runtime.checkcondition_fault

cause a check fault with given msg argument, i.e., call
fuzion.runtime.check_fault.env.cause msg, i.e., use the current check_fault
effect to fail with the given message.

Arguments

0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)
last changed: 2026-11-04