no types erroneusly resolved in an exception