Ban Type Assertions Enable with in a package and replace all casts with patterns the compiler can verify. Core Philosophy Pick the strictly correct path, not the simpler one. Every assertion is a spot where the developer told the compiler "trust me." The goal is to make the compiler verify instead. If you replace with a type guard that is equally unverified, you have not improved anything -- you have just moved the assertion. Quick Reference - Rule: - Config: - Location: Workflow 1. Enable the Rule Add to the package's : 2. Enumerate Violations Group violations by file and pattern before fixi…