>>223
つまり所有権も静的に解析できる?