tree 39ec882621c94cee009bb096e0b65c884b151438
parent f4df6804f5a1f82f62de6104318edf13578fac6b
author Wojciech Litewka <wojciech.litewka@jetbrains.com> 1753880702 +0200
committer Wojciech Litewka <wojciech.litewka@jetbrains.com> 1753881882 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHUEABYKAB0WIQS9txmum82r0+rjyjCvJ2C5w2i4qQUCaIodGgAKCRCvJ2C5w2i4
 qdcdAP995otDcwIYP37YI+BdFsJ2BkriEnpK1t9QwQDf+80gNwEA6ZfgFYYW7Qcz
 DZrGPDyyVVigNZkRZxqgbaa3FjsDSQs=
 =/Wlb
 -----END PGP SIGNATURE-----

[IR] Always validate properties

This is a fundamental invariant that should always hold.