Phpstan Webmozart Assert Laravel Package

Product Decisions This Supports

• Supports static analysis investment by enhancing PHPStan's ability to infer types after webmozart/assert validations, reducing runtime errors without manual type hints
• Justifies build vs. buy for type safety tooling: avoids custom rule development by leveraging a maintained, low-risk extension
• Enables roadmap alignment for teams prioritizing code quality, with immediate ROI in bug prevention and developer productivity
• Critical use case: large-scale PHP projects with strict typing requirements where assertions are heavily used for input validation

When to Consider This Package

This package should be adopted when your project already uses PHPStan (v1.0+) and webmozart/assert for validation logic. It’s ideal for codebases where precise type narrowing during static analysis would prevent common runtime errors (e.g., null values after nullOrString() checks). Prioritize this if your team struggles with false positives in PHPStan reports due to unhandled assertion types. Avoid it if you’re not using PHPStan, rely on alternative assertion libraries (e.g., Symfony Validator), or maintain a small project with minimal validation logic. It’s purely an additive tool for existing PHPStan workflows and offers no standalone value without both core dependencies.

How to Pitch It (Stakeholders)

For executives: "This tiny extension turns our existing static analysis into a proactive bug-prevention tool. By teaching PHPStan to understand webmozart/assert validations, it catches type-related errors before code reaches production—reducing firefight