AMDG
Matthias Schabel wrote:
We should see if there is a way to at least warn in these cases...
Indeed. It fails because of a static assertion which I put in to guard
against such errors.
The message could be more helpful, though.
In Christ,
Steven Watanabe
