>>724
pyrightのstrict modeを試してみるといいと思う