This is currently blocked on a lack of for<T> or similar style of bound. The metadata and addr methods work fine generically, but anything using casts immediately runs into unproveable bounds, so it won't be added as a bound until those can be resolved somehow.