tree 9f251c4fb80f169eab6c0ff556903fd1eb301700
parent d0c9791728caa0d3b3270a997c7fd97919976c97
author Tom Tromey <tom@tromey.com> 1675178675 -0700
committer Tom Tromey <tom@tromey.com> 1676326867 -0700

Turn deprecated_set_value_type into a method

This changes deprecated_set_value_type to be a method of value.  Much
of this patch was written by script.

Approved-By: Simon Marchi <simon.marchi@efficios.com>