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