Update eager-inference-annotations-for-polymorphic-types.md

This commit is contained in:
Marcus 2025-03-07 19:41:20 +01:00 committed by GitHub
parent 2463447563
commit 62642493e5
Signed by: DevComp
GPG key ID: B5690EEEBB952194

View file

@ -2,7 +2,7 @@
## Summary
The RFC introduces a feature to annotate polymorphic function types to express that the first instantiation of a polymorphic type `T` is the one that sticks.
The RFC introduces a feature to annotate polymorphic function types to express that the first bind to `T` will be the one that sticks.
## Motivation