予約語invariantは消滅したと思ってたけどcast(invariant)ってまだ利くのな
バグなの?仕様なの?