The current implementation of CaseHoisting can be improved by utilizing the new syntax. With the introduction of the extended syntax, we can perhaps store the type of the return value of a given case alternative. AS of now, HPT tracks the alt name as a restricted version of the scrutinee, but there might be ways around this.
The current implementation of CaseHoisting can be improved by utilizing the new syntax. With the introduction of the extended syntax, we can perhaps store the type of the return value of a given case alternative. AS of now, HPT tracks the alt name as a restricted version of the scrutinee, but there might be ways around this.