naive "implements dynamic" soundness checks

[hiphop-php.git] / hphp / hack / test / full_fidelity / cases / capabilities_provisional_syntax.php

<?hh

<<file: __EnableUnstableFeatures('coeffects_provisional')>>

function a(): void {}

function b()@{ mixed }: void {}

function c()@{ int + string }: void {}