Skip to content

Commit

Permalink
Fix formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
josh11b committed Aug 22, 2024
1 parent aba1761 commit 077d7e4
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions docs/design/generics/appendix-coherence.md
Original file line number Diff line number Diff line change
Expand Up @@ -236,7 +236,8 @@ either:
[dynamic implementation binding](#rejected-variation-dynamic-implementation-binding)
(though perhaps with a monomorphization cost instead of a runtime cost).

In addition, this
can create unsoundness when combined with dynamic downcasts and a more complex, less predictable implementation model as [discussed in Swift](https://forums.swift.org/t/retroactive-conformances-dynamic-downcast-type-unsoundness/73890).
In addition, this can create unsoundness when combined with dynamic downcasts
and a more complex, less predictable implementation model as
[discussed in Swift](https://forums.swift.org/t/retroactive-conformances-dynamic-downcast-type-unsoundness/73890).
This approach would be particularly complex in Carbon due to supporting
[impl specialization](terminology.md#specialization).

0 comments on commit 077d7e4

Please sign in to comment.