What is the term used for the act of casting a void pointer into a pointer to a type?

Question

What is the term used (say, by programming language theorists) for the act of casting a void pointer into a pointer to a type? Is it "upcasting"? "type infusion"? "typing"?

Notes:

• It is obviously a cast, and obviously a reinterpreting cast - but I'm looking for a more specific term, expressive of the transition from an untyped to a typed pointee.
• Please do not argue about whether it's a good idea to avoid this or not, that is really not the question.

Answer 1

If you wanted to make up a new term, you could call it type unerasure.