inline_failure_in_cases