luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

I say "thus" too much

Browse source
This commit is contained in:
Aaron Weiss 2022-08-16 19:31:07 -04:00
parent 462c6d1e8d
commit 39c55e616f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rfcs/generic-function-subtyping.md
View file

@ -121,8 +121,8 @@ definition of `rank2`), but it's still just as problematic if we were to accept
instantiated functions at polymorphic types. Thus, it's important that we instantiated functions at polymorphic types. Thus, it's important that we
actually ensure that we only instantiate in covariant contexts, but it's still actually ensure that we only instantiate in covariant contexts, but it's still
just as problematic if we were to accept instantiated functions at polymorphic just as problematic if we were to accept instantiated functions at polymorphic
types. Thus, it's important that we actually ensure that subtyping only types. So, we must ensure that subtyping only instantiates in covariant
instantiates in covariant contexts. contexts.
It may also be helpful to consider an example of rank-1 polymorphism to It may also be helpful to consider an example of rank-1 polymorphism to
understand the full scope of the behavior. So, we can look at what happens if we understand the full scope of the behavior. So, we can look at what happens if we