Enforce that pretty printing of the type in the error message succeeds (otherwise we could have errors that don't show up).