"Missing return statement" error with check/detect blocks

[alleew]

If you create an action with return statements in a check/detect block, the compiler will flag it as invalid due to missing a return statement, even if the action is guaranteed to return something. The code below reproduces the issue.

// BEGINNING OF CODE SAMPLE
class Main
action Main
Thing()
end

action Thing returns integer
    check
        return 0
    detect error
        return 1
    end
end

end
// END OF CODE SAMPLE