Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
Also better error messages if a constant expression is expected.
Robbert Krebbers authoredAlso better error messages if a constant expression is expected.
