void () { doTest( """ import org.jetbrains.annotations.Contract; class Util { @Contract(pure=true) static Object util() { return null; } } class C { static { Util./*Result of 'Util.util()' is ignored*/util/**/(); } } """); }