1--TEST--
2class php_user_filter#1
3--FILE--
4<?php
5class foo extends php_user_filter {
6    function filter($in, $out, &$consumed, $closing): int {}
7    function onCreate(): bool {}
8    function onClose(): void {}
9}
10class bar extends php_user_filter {
11    function filter($in, $out, &$consumed): int {}
12    function onCreate(): bool {}
13    function onClose(): void {}
14}
15?>
16--EXPECTF--
17Fatal error: Declaration of bar::filter($in, $out, &$consumed): int must be compatible with php_user_filter::filter($in, $out, &$consumed, bool $closing): int in %s on line %d
18