完全フロー解析すれば、updateIntにcat.ageをborrowしているケースがあるから、updateIntの中でcat.ageをリードするのは不正って事になるのかな？でも外部モジュールとか跨いでいると無理そうですよね