正しい型情報が追加される分には、今のところ問題は起きてないですね