diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2024-10-03 11:31:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-03 17:31:43 +0800 |
| commit | b69eb632b764d8eb7e93f65a30517161cfa37da6 (patch) | |
| tree | 438a14340000817deff07fdd3ad5da0a06a7a082 /src/doc/rustc-dev-guide | |
| parent | f437db0dcd55b7f90b2ac35e624c87e8ee42282c (diff) | |
| download | rust-b69eb632b764d8eb7e93f65a30517161cfa37da6.tar.gz rust-b69eb632b764d8eb7e93f65a30517161cfa37da6.zip | |
Rename "object safe" to "dyn compatible" (#2083)
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/unsize.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/unsize.md b/src/doc/rustc-dev-guide/src/traits/unsize.md index 4876bfd07dd..dd57a1b0796 100644 --- a/src/doc/rustc-dev-guide/src/traits/unsize.md +++ b/src/doc/rustc-dev-guide/src/traits/unsize.md @@ -16,7 +16,7 @@ pointers, and there are rules about when a type is allowed to implement # [`Unsize`](https://doc.rust-lang.org/std/marker/trait.Unsize.html) To contrast, the `Unsize` trait is concerned the actual types that are allowed -to be unsized. +to be unsized. This is not intended to be implemented by users ever, since `Unsize` does not instruct the compiler (namely codegen) *how* to unsize a type, just whether it @@ -27,7 +27,7 @@ which must understand how types are represented and unsized. Built-in implementations are provided for: * `T` -> `dyn Trait + 'a` when `T: Trait` (and `T: Sized + 'a`, and `Trait` - is object safe). + is dyn-compatible[^2]). * `[T; N]` -> `[T]` ## Structural implementations @@ -82,4 +82,4 @@ Specifically, (3.) prevents a choice of projection bound to guide inference unnecessarily, though it may guide inference when it is unambiguous. [^1]: The principal is the one non-auto trait of a `dyn Trait`. - +[^2]: Formerly known as "object safe". |