Update type_erasure from develop.