nullable/not nullable cast op#11

alexandre-daubois wants to merge 1 commit intomasteralexandre-daubois/php-src:masterfrom

null-not-null-cast-opalexandre-daubois/php-src:null-not-null-cast-opCopy head branch name to clipboard