carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 16:31:04 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

docs/design: object-safe has been named to dyn-compatible (#6081)

Browse Source 
Just a small fix to docs/design.

Co-authored-by: Burak Emir <bqe@google.com>
This commit is contained in:
Burak Emir
2025-09-17 01:54:08 +00:00
committed by GitHub
co-authored by Burak Emir
parent 65a7e50037
commit 4edd2ced62
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/design/generics/appendix-witness.md
+1 -1
View File
@@ -99,7 +99,7 @@ arguments and return values with a size only known at runtime.
For this reason, Rust's dynamic trait dispatch system, trait objects, only works
with traits that are
["object safe,"](https://doc.rust-lang.org/reference/items/traits.html#object-safety)
["dyn-compatible,"](https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility)
which includes a requirement that
[all the associated types have specified values](https://github.com/rust-lang/rfcs/blob/master/text/0195-associated-items.md#trait-objects).
This reduces the expressivity of Rust traits to the subset that could be