UserAssertTy can handle inference variables.
This commit modifies the UserAssertTy statement to take a canonicalized type rather than a regular type so that we can handle the case where the user provided type contains a inference variable.
Showing
想要评论请 注册 或 登录