class Contracts {

  boolean x;

  public boolean testSideEffect() {
    return x && <warning descr="Condition '!(x = false)' is always 'true' when reached">!(x =<caret> false)</warning>;
  }

}
class Contracts {

  boolean x;

  public boolean testSideEffect() {
    return x && <warning descr="Condition '!(x = false)' is always 'true' when reached">!(x =<caret> false)</warning>;
  }

  public void testSideEffectInsideCall() {
    if (a()) {
      System.out.println();
    }
  }

  private boolean a() {
    return x = false;
  }

}
add a test for assignment with side effects inside method calls (IDEA-145401, IDEA-CR-5542)