On Tue Aug 12 08:06:29 2025 +0000, Rémi Bernon wrote:
I changed the `TYPE_PARAMETER` case, the `TYPE_PARAMETERIZED_TYPE` case looks more complicated because it needs the type to be fully created and it's not the case at `reg_type` time where names are usually created, so I kept it like it was instead.
Maybe it should be set outside `reg_type` then?