The reverse operation is named type inference.
In programming, type inference refers to the process where the compiler or interpreter automatically determines the data types of variables based on their usage. The opposite operation is called type deduction, which involves explicitly specifying the data types for variables.