<?php class A { public function run(): mixed {} } class B extends A { public function run(): never { exit; } }
You have javascript disabled. You will not be able to edit any code.