1--TEST--
2Void cannot be nullable
3--FILE--
4<?php
5
6function test() : ?void {
7}
8
9?>
10--EXPECTF--
11Fatal error: Void type cannot be nullable in %s on line %d
12