Example 6.
Example 6 completed...for now.

I'm still uncertain about the *Rule* I've outlined in the docs. If anyone
readin this has a better explanation or interpretation of the JLS8 on this
topic, please feel free to log an issue!