0 Fork 0

mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-11-10 12:08:29 +00:00

Files

T

History

Dana Jansens db87a84b69 Improve tests and clarify design for observe equivalence chains (#7987 )

Update tests for observe equivalence chains to cover more cases and to
better test the things they meant to. The design is clarified to explain
that in an `interface` the types in an equivalence chain must all be
related to that interface except for one.

This is based on #7484 with some followup changes by me.

Co-authored by: ozguronsoy@gmail.com

2026-10-20 21:29:09 +00:00

appendix-coherence.md

Enable rumdl markdown line-length enforcement and reflowing (#7667 )

2026-08-27 00:13:39 +00:00

appendix-rewrite-constraints.md

Enable rumdl markdown line-length enforcement and reflowing (#7667 )

2026-08-27 00:13:39 +00:00

appendix-witness.md

Systematically update syntax in the design for #7254 (#7259 )

2026-07-07 00:41:06 +00:00

details.md

Improve tests and clarify design for observe equivalence chains (#7987 )

2026-10-20 21:29:09 +00:00

goals.md

Systematically update syntax in the design for #7254 (#7259 )

2026-07-07 00:41:06 +00:00

overview.md

Enable rumdl markdown line-length enforcement and reflowing (#7667 )

2026-08-27 00:13:39 +00:00

README.md

Updates to generics design details, part 2 (#3253 )

2023-10-03 00:03:07 +00:00

terminology.md

Enable rumdl markdown line-length enforcement and reflowing (#7667 )

2026-08-27 00:13:39 +00:00

README.md

Generics

This directory contains the collection of documents describing the generics feature of Carbon:

Overview - A high-level description of the generics design, with pointers to other design documents that dive deeper into individual topics
Goals - The motivation and principles guiding the design direction
Terminology - A glossary establishing common terminology for describing the design
Detailed design - In-depth description
- Appendix: Coherence - Describes the rationale for Carbon's choice to have coherent generics, and the alternatives.
- Appendix: Rewrite constraints - Describes the detailed rules governing rewrite constraints, and why resolving them terminates.
- Appendix: Witness tables - Describes an implementation strategy for checked generics, and Carbon's rationale for only using it for dynamic dispatch.