4 abstract const type TInner
;
5 abstract public function set(this
::TInner
$_): void
;
8 class IntBox
extends MyBox
{
9 const type TInner
= int;
10 public function set(int $_): void
{}
13 function set_a_box
<TBox
as MyBox with
{ type TInner
= TVal
}, TVal
>(
20 function test(): void
{