<?php class Foo { public function run(): void { } } class Bar extends Foo { /** * @return never */ public function run() { exit; } } new Bar();
You have javascript disabled. You will not be able to edit any code.