[Feature #20925] Support leading logical operators

Author: nobu

parse.y

@@ -6980,6 +6980,14 @@ is_identchar(struct parser_params *p, const char *ptr, const char *MAYBE_UNUSED(
     return rb_enc_isalnum((unsigned char)*ptr, enc) || *ptr == '_' || !ISASCII(*ptr);
 }
 
+static inline bool
+peek_ident_p(struct parser_params *p, size_t n)
+{
+    const char *ptr = p->lex.pcur + n;
+    if (lex_eol_ptr_p(p, ptr)) return false;
+    return is_identchar(p, ptr, p->lex.pend, p->enc);
+}
+
 static inline int
 parser_is_identchar(struct parser_params *p)
 {
@@ -10551,15 +10559,36 @@ parser_yylex(struct parser_params *p)
                     token_flush(p);
                 }
                 goto retry;
+              case 'a':
+                dispatch_delayed_token(p, tIGNORED_NL);
+                if (peek_n(p, 'n', 0) && peek_n(p, 'd', 1) && !peek_ident_p(p, 2)) {
+                    goto fluent;
+                }
+                goto bol;
+              case 'o':
+                dispatch_delayed_token(p, tIGNORED_NL);
+                if (peek_n(p, 'r', 0) && !peek_ident_p(p, 1)) {
+                    goto fluent;
+                }
+                goto bol;
+
+              case '|':
+                dispatch_delayed_token(p, tIGNORED_NL);
+                if (peek(p, '|')) {
+                    goto fluent;
+                }
+                goto bol;
               case '&':
               case '.': {
                 dispatch_delayed_token(p, tIGNORED_NL);
-                if (peek(p, '.') == (c == '&')) {
+                if (peek(p, '.') == (c == '&') || ((c == '&') && peek(p, '&'))) {
+                  fluent:
                     pushback(p, c);
                     dispatch_scan_event(p, tSP);
                     goto retry;
                 }
               }
+              bol:
               default:
                 p->ruby_sourceline--;
                 p->lex.nextline = p->lex.lastline;

test/ruby/test_syntax.rb

@@ -1259,6 +1259,56 @@ def test_fluent_dot
     assert_valid_syntax("a #\n#\n&.foo\n")
   end
 
+  def test_fluent_and
+    omit if /\+PRISM\b/ =~ RUBY_DESCRIPTION
+
+    assert_valid_syntax("a\n" "&& foo")
+    assert_valid_syntax("a\n" "and foo")
+
+    assert_equal(:ok, eval("#{<<~"begin;"}\n#{<<~'end;'}"))
+    begin;
+      a = true
+      if a
+      && (a = :ok; true)
+        a
+      end
+    end;
+
+    assert_equal(:ok, eval("#{<<~"begin;"}\n#{<<~'end;'}"))
+    begin;
+      a = true
+      if a
+      and (a = :ok; true)
+        a
+      end
+    end;
+  end
+
+  def test_fluent_or
+    omit if /\+PRISM\b/ =~ RUBY_DESCRIPTION
+
+    assert_valid_syntax("a\n" "|| foo")
+    assert_valid_syntax("a\n" "or foo")
+
+    assert_equal(:ok, eval("#{<<~"begin;"}\n#{<<~'end;'}"))
+    begin;
+      a = false
+      if a
+      || (a = :ok; true)
+        a
+      end
+    end;
+
+    assert_equal(:ok, eval("#{<<~"begin;"}\n#{<<~'end;'}"))
+    begin;
+      a = false
+      if a
+      or (a = :ok; true)
+        a
+      end
+    end;
+  end
+
   def test_safe_call_in_massign_lhs
     assert_syntax_error("*a&.x=0", /multiple assignment destination/)
     assert_syntax_error("a&.x,=0", /multiple assignment destination/)