<?php class x { function foo() : int {} } class y extends x { function foo() : never {} }
You have javascript disabled. You will not be able to edit any code.