From 44876dce9e9d57987a9cb682b5e102ce01ef162e Mon Sep 17 00:00:00 2001 From: Aaron Weiss Date: Wed, 17 Aug 2022 13:46:59 -0400 Subject: [PATCH] fix typo --- rfcs/generic-function-subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rfcs/generic-function-subtyping.md b/rfcs/generic-function-subtyping.md index a75e966c..0be0c3af 100644 --- a/rfcs/generic-function-subtyping.md +++ b/rfcs/generic-function-subtyping.md @@ -181,7 +181,7 @@ read-only, we'd be able to do both of the assignments in the above example. ## Alternatives -The main alternatives would be likely be keeping the existing solution (and +The main alternatives would likely be keeping the existing solution (and likely having to tactically fix future bugs where instantiation either happens too much or not enough), or removing automatic instantiation altogether in favor of manual instantiation syntax. The former solution (changing nothing) is cheap