1--TEST--
2AST pretty-printer
3--INI--
4zend.assertions=1
5assert.exception=0
6--FILE--
7<?php
8assert(0 && ($a = function (int $a, ?int $b, int $c = null): ?int {
9	$x = new class {
10		public $a;
11		public int $b;
12		public ?int $c;
13	};
14}));
15?>
16--EXPECTF--
17Warning: assert(): assert(0 && ($a = function (int $a, ?int $b, int $c = null): ?int {
18    $x = new class {
19        public $a;
20        public int $b;
21        public ?int $c;
22    };
23})) failed in %stypes_in_ast.php on line 2
24