Update wording in summary

automatic instantiation -> implicit instantiation
"one type" transitioned to "first usage" for clarity
This commit is contained in:
Ardi 2025-03-07 02:09:09 -06:00 committed by GitHub
parent b7c28004ca
commit b47e000980
Signed by: DevComp
GPG key ID: B5690EEEBB952194

View file

@ -2,7 +2,7 @@
## Summary
Introduce a way to annotate a polymorphic function signature to express that it will only allow one argument type to interact with automatic instantiation.
Introduce a way to annotate a polymorphic function signature to express that it will only allow the first usage of a polymorphic type to interact with implicit instantiation.
## Motivation