Prevent calling twig_get_attribute by generating the guessed PHP code instead

doc/tags/type.rst

@@ -0,0 +1,9 @@
+``type``
+==============
+
+Twig can perform more performant access, when type of variables can be predicted.
+To support prediction you can provide type hints, that you already know from PHP:
+
+.. code-block:: twig
+
+    {% type interval \DateInterval %}

src/Environment.php

@@ -33,6 +33,8 @@
 use Twig\NodeVisitor\NodeVisitorInterface;
 use Twig\RuntimeLoader\RuntimeLoaderInterface;
 use Twig\TokenParser\TokenParserInterface;
+use Twig\TypeHint\ContextStack;
+use Twig\TypeHint\TypeInterface;
 
 /**
  * Stores the Twig configuration and renders templates.
@@ -69,6 +71,7 @@ class Environment
     private $optionsHash;
     /** @var bool */
     private $useYield;
+    private $typeHintStack;
 
     /**
      * Constructor.
@@ -127,6 +130,7 @@ public function __construct(LoaderInterface $loader, $options = [])
         $this->strictVariables = (bool) $options['strict_variables'];
         $this->setCache($options['cache']);
         $this->extensionSet = new ExtensionSet();
+        $this->typeHintStack = new ContextStack();
 
         $this->addExtension(new CoreExtension());
         $this->addExtension(new EscaperExtension($options['autoescape']));
@@ -845,6 +849,11 @@ public function getBinaryOperators(): array
         return $this->extensionSet->getBinaryOperators();
     }
 
+    public function getTypeHintStack(): ContextStack
+    {
+        return $this->typeHintStack;
+    }
+
     private function updateOptionsHash(): void
     {
         $this->optionsHash = implode(':', [

src/Extension/CoreExtension.php

@@ -74,6 +74,7 @@
 use Twig\TokenParser\IncludeTokenParser;
 use Twig\TokenParser\MacroTokenParser;
 use Twig\TokenParser\SetTokenParser;
+use Twig\TokenParser\TypeHintTokenParser;
 use Twig\TokenParser\UseTokenParser;
 use Twig\TokenParser\WithTokenParser;
 use Twig\TwigFilter;
@@ -178,6 +179,7 @@ public function getTokenParsers(): array
             new EmbedTokenParser(),
             new WithTokenParser(),
             new DeprecatedTokenParser(),
+            new TypeHintTokenParser(),
         ];
     }
 

src/Extension/TypeOptimizerExtension.php

@@ -0,0 +1,32 @@
+<?php
+
+/*
+ * This file is part of Twig.
+ *
+ * (c) Fabien Potencier
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+namespace Twig\Extension;
+
+use Twig\NodeVisitor\TypeEvaluateNodeVisitor;
+
+/**
+ * Extension to improve PHP code compiling by predicting variable types of expressions.
+ *
+ * @author Joshua Behrens <[email protected]>
+ */
+final class TypeOptimizerExtension extends AbstractExtension
+{
+    public function getTokenParsers(): array
+    {
+        return [];
+    }
+
+    public function getNodeVisitors(): array
+    {
+        return [new TypeEvaluateNodeVisitor()];
+    }
+}

src/Lexer.php

@@ -412,7 +412,27 @@ private function lexComment(): void
             throw new SyntaxError('Unclosed comment.', $this->lineno, $this->source);
         }
 
-        $this->moveCursor(substr($this->code, $this->cursor, $match[0][1] - $this->cursor).$match[0][0]);
+        $text = substr($this->code, $this->cursor, $match[0][1] - $this->cursor) . $match[0][0];
+
+        if (preg_match('/(.*@var\s+)([a-z][a-z0-9]*)(\s+)(\S+)(.*)$/is', $text, $hintMatch) === 1) {
+            $this->pushToken(Token::BLOCK_START_TYPE);
+            $this->moveCursor($hintMatch[1]);
+
+            $this->pushToken(Token::NAME_TYPE, 'type');
+
+            $this->pushToken(Token::NAME_TYPE, $hintMatch[2]);
+            $this->moveCursor($hintMatch[2]);
+
+            $this->moveCursor($hintMatch[3]);
+
+            $this->pushToken(Token::NAME_TYPE, $hintMatch[4]);
+            $this->moveCursor($hintMatch[4]);
+
+            $this->pushToken(Token::BLOCK_END_TYPE);
+            $this->moveCursor($hintMatch[5]);
+        } else {
+            $this->moveCursor($text);
+        }
     }
 
     private function lexString(): void