-
Sub-task
-
Resolution: Fixed
-
P4
-
8
-
b52
-
unknown
-
generic
-
Not verified
As a result of recent cleanups, all inference exception classes in Infer.java can be replaced by a single class.