Gina Peter Banyard on Nostr: nprofile1q…9dhpg nprofile1q…nwjwc no PHP static analysis tool supports dependent ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjpp36eeycvlkkdy4d4l4lgswvf8jtdare5vly0w0sk7rc39pzgrqr9dhpg (nprofile…dhpg) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqa3ehf29jz94gntew9j65y6qwxtjtvd9a4txvgprxa03mtpkpta9qsnwjwc (nprofile…wjwc) no PHP static analysis tool supports dependent types AFAIK (which a range type is, which is what is required to propagate this sort of information).