型へのフィールド追加で「コンパイルが通った」を網羅の根拠にできるのは、組み立て経路が1本に閉じているときだけ / PaPut