search

DetachHead / basedpyright-playground

Website for testing snippets of code using the basedpyright type checker
https://basedpyright.com
MIT License
5 stars 1 forks source link

url arguments for disabling specific rules sometimes get ignored and set to `true` #30

Open DetachHead opened 3 weeks ago

DetachHead commented 3 weeks ago

https://basedpyright.com/?reportUnusedParameter=false&code=GYJw9gtgBMCuB2BjALmMAbAzlAlhADmCMlPgIbE5noCwAUPfQCYCmwMaAFAG7WwsAuXPGQAaKACpxvdPwBMQzMhABKAfSiaoAOl2M6AIwpQAvKQrIq6TsDTS%2BLEwEYV%2BoyB4O5JgEQ%2BVQA

clicking this will redirect to the following url for some reason:

https://basedpyright.com/?typeCheckingMode=all&reportUnusedParameter=true&code=GYJw9gtgBMCuB2BjALmMAbAzlAlhADmCMlPgIbE5noCwAUPfQCYCmwMaAFAG7WwsAuXPGQAaKACpxvdPwBMQzMhABKAfSiaoAOl2M6AIwpQAvKQrIq6TsDTS%2BLEwEYV%2BoyB4O5JgEQ%2BVQA

i think it has something to do do with the fact that pyright seems to attempt to prevent users from reducing the severity of rules that are enabled in strict mode, which is something that the upstream playground enforces:

image