1--TEST--
2Test that the mixed return type is not compatible with a void return value in strict mode
3--FILE--
4<?php
5declare(strict_types=1);
6
7function foo(): mixed
8{
9}
10
11try {
12    foo();
13} catch (TypeError $exception) {
14    echo $exception->getMessage() . "\n";
15}
16
17?>
18--EXPECT--
19foo(): Return value must be of type mixed, none returned
20