Add some tests for verification#11

rlerdorf merged 1 commit intomainphan/phan-tolerant:mainfrom

php83-override-and-static-initializersphan/phan-tolerant:php83-override-and-static-initializersCopy head branch name to clipboard