Some examples of why this is not yet the case are use of the `box` syntax and procedural macros (see #6).