private <T> T runWithoutCaching(@NotNull TypeDfaState state, Supplier<? extends T> computation) {
    Map<VariableDescriptor, DFAType> unwrappedVariables = getCurrentVariableTypes(state);
    return TypeInferenceHelper.doInference(unwrappedVariables, computation);
  }
private <T> T runWithoutCaching(@NotNull TypeDfaState state, Supplier<? extends T> computation)