TypeDfaState (@NotNull final TypeDfaState state, @NotNull final MixinTypeInstruction instruction) { final int descriptor = instruction.getVariableDescriptor(); if (descriptor == 0) return state; return updateVariableType(state, instruction, descriptor, () -> { ReadWriteVariableInstruction originalInstr = instruction.getInstructionToMixin(myFlow.getFlow()); if (originalInstr != null) { assert !originalInstr.isWrite(); } return state.getNotNullDFAType(descriptor).withNewMixin(instruction.inferMixinType(), instruction.getConditionInstruction()); }); }