Tagir Valeev c53b8ee683 [java-dfa] TimeUnit.convert contract: returns first arg if qualifier is equal to the second arg ...

Also, report if the result is equal to the first arg (part of IDEA-172428)

GitOrigin-RevId: 1a9743305e75f1fdb772c7287e8cee0068bd31e1

2024-07-11 19:20:37 +00:00

..

resources/messages

[java-dfa] IDEA-355908 Add new mutation contract option: io

2024-07-04 21:05:23 +00:00

src

[java-dfa] TimeUnit.convert contract: returns first arg if qualifier is equal to the second arg

2024-07-11 19:20:37 +00:00

intellij.java.analysis.impl.iml

…