Migration guide PHP8.5 - New Features - NoDiscard - error in code

[germainpigeon]

From manual page: https://php.net/migration85.new-features

---

There is:

<?php

#[\NoDiscard]
function concat(string $a, string $b): string {
     return a + b;
}

But it does:
Fatal error: Uncaught Error: Undefined constant "a"

There should be:

<?php

#[\NoDiscard]
function concat(string $a, string $b): string {
     return $a + $b;
}

(with added "$"s)

-      return a + b;
+      return $a + $b;