void () { // While this particular case could be safely transformed to "a && c || !b", the order of execution is changed which may // affect dereferencing (e.g. "a != null && b != null && a.foo(b.bar()) || b == null") is safe, but replacement is not. // Proper replacement would be "(a || !b) && (!b || c)", but it's not shorter than the original code assertQuickfixNotAvailable(InspectionGadgetsBundle.message("constant.conditional.expression.simplify.quickfix"), """ class X { boolean fff(boolean a, boolean b, boolean c) {\s return a && b && c/**/ || !b; } }"""); }