Function restore_val 

pub fn restore_val<T: Erasable>(erased_value: Erased<T>) -> T

Restores an erased value to its real type.

This relies on the fact that Erased<T> and Erased<U> are type-checked as distinct types, even if they use the same storage type.