-
Type:
Improvement
-
Resolution: Unresolved
-
Priority:
Unknown
-
None
-
Affects Version/s: None
-
Component/s: None
-
None
-
None
-
None
-
None
-
None
-
None
-
None
-
None
- "disjunction" and "conjunction" are mixed up in the javadocs of or and and.
- We should clearly state that users should never cast anything (it works, but leads to undefined behaviour).