Remove incorrect example

This now works because of elision.

Fixes #16117