Comment

That's an interesting solution to an interesting diagnostic.  I guess that diagnostic wouldn't be quite as interesting if we had an explanation of what the error is.