`$matchResult->isSuccess()` (pseudo)