HH\Capabilities\Throwing

Throwing a wider set of exceptions (i.e., supertypes of T) requires more privilege, therefore the capability to throw is contravariant in T

E.g., if a function is privileged to throw MyException that is a subtype of \Throwable, it should not be able to escalate its privilege via upcasting to Throwing<\Throwable> and effectively call another funcion that can throw anything (i.e., that requires a Throwing<\Throwable> capability).

Interface Synopsis

namespace HH\Capabilities;

interface Throwing {...}