Post #4206213

@zonuexe@phpc.social I don't get why callable-array, non-empty-mixed, noreturn are marked as "not enforced" by PHPStan. Please open issues about those. AFAIK they work properly.