We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 675e469 commit cdfb93eCopy full SHA for cdfb93e
docs/contracts/functions.rst
@@ -267,7 +267,7 @@ This behavior is also in line with the ``STATICCALL`` opcode.
267
268
.. note::
269
Prior to version 0.4.17 the compiler did not enforce that ``pure`` is not reading the state.
270
- It is a compile-time type check, which can be circumvented doing invalid explicit conversions
+ It is a compile-time type check, which can be circumvented by doing invalid explicit conversions
271
between contract types, because the compiler can verify that the type of the contract does
272
not do state-changing operations, but it cannot check that the contract that will be called
273
at runtime is actually of that type.
0 commit comments