if E is merely instantiation-dependent. Previously reverted in 34e72a14; re-committed with a fix to an issue that caused name mangling to assert.