We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The description of invertible expressions in the spec should include bounds cast expressions.
A bounds cast expression BoundsCast<T1>(temp(e1)) is invertible with respect to a variable x if and only if e1 is invertible with respect to x.
BoundsCast<T1>(temp(e1))
x
e1
The inverse of a bounds cast expression BoundsCast<T1>(temp(e1)), where e1 has type T2, is (T2)e1.
T2
(T2)e1
The text was updated successfully, but these errors were encountered:
kkjeer
No branches or pull requests
The description of invertible expressions in the spec should include bounds cast expressions.
A bounds cast expression
BoundsCast<T1>(temp(e1))
is invertible with respect to a variablex
if and only ife1
is invertible with respect tox
.The inverse of a bounds cast expression
BoundsCast<T1>(temp(e1))
, wheree1
has typeT2
, is(T2)e1
.The text was updated successfully, but these errors were encountered: