If `inst.ty` can coerce into `dest_type` then you wouldn't need to modify anything or return a new inst since `inst.yt` would be a subset of `dest_type` and all of its errors can already be found in `dest_type`.