We can already fail in the `resolve…Type(…)` methods and throw a more speaking exception there.