Skip to content

Commit b0f94ed

Browse files
committed
[docs] LibraryEvolution: Make code snippets more concrete, take 2.
Missed a spot.
1 parent 3737ce7 commit b0f94ed

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

docs/LibraryEvolution.rst

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1525,11 +1525,11 @@ Recompiling changes a protocol's implementation
15251525

15261526
func use<T: MagicType>(item: T) { item.equip() }
15271527

1528-
Before the client is recompiled, the implementation of ``foo()`` used for ``S``
1529-
instances can only be the default implementation, i.e. the one that prints
1530-
"Equipped". However, recompiling the client will result in the constrained
1531-
implementation being considered a "better" match for the protocol requirement,
1532-
thus changing the behavior of the program.
1528+
Before the client is recompiled, the implementation of ``equip()`` used for
1529+
``Amulet`` instances can only be the default implementation, i.e. the one that
1530+
prints "Equipped". However, recompiling the client will result in the
1531+
constrained implementation being considered a "better" match for the protocol
1532+
requirement, thus changing the behavior of the program.
15331533

15341534
This should never change the *meaning* of a program, since the default
15351535
implementation for a newly-added requirement should always be *correct.*

0 commit comments

Comments
 (0)