Return checks are matched against a bodyless type signature, not the function body implementation #903