Swift Parserがそれを使ってメモリプールを捨てたら証明されるなあ。そうなるかな。