If we call make_proxy with an unsupported value type, it won't diagnose on the API. While I think it might be an QoI issue, we should fix the diagnostics.