@Nullable
  private static Result getOverTypeResult(Editor editor, PsiFile file) {
    final int offset = editor.getCaretModel().getOffset();

    PsiElement token = file.findElementAt(offset - 1);
    if (token == null) return Result.CONTINUE; // sanity check: beyond EOL

    PsiElement elem = file.findElementAt(offset);
    if (elem == null) return Result.CONTINUE;

    if (elem.getNode().getElementType() == PyTokenTypes.COLON) {
      editor.getCaretModel().moveToOffset(offset + 1); // overtype, that is, jump over
      return Result.STOP;
    }
    return null;
  }
@Nullable
  private static Result getOverTypeResult(Editor editor, PsiFile file)