public @NotNull List<DfaVariableValue> getSynthetics(PsiElement element) {
    int startOffset = getStartOffset(element).getInstructionOffset();
    List<DfaVariableValue> synthetics = new ArrayList<>();
    for (DfaValue value : myFactory.getValues()) {
      if (value instanceof DfaVariableValue var) {
        VariableDescriptor descriptor = var.getDescriptor();
        if (descriptor instanceof Synthetic && ((Synthetic)descriptor).myLocation >= startOffset) {
          synthetics.add(var);
        }
      }
    }
    return synthetics;
  }
public @NotNull List<DfaVariableValue> getSynthetics(PsiElement element)