diff --git a/src/types.md b/src/types.md index a9c62eedf..d46115b6c 100644 --- a/src/types.md +++ b/src/types.md @@ -585,10 +585,6 @@ For example, `dyn Trait + Send + UnwindSafe` is the same as > `dyn Send + Sync` is a different type from `dyn Sync + Send`. See > [issue 33140]. -> Warning: Including the same auto trait multiple times is allowed, and each -> instance is considered a unique type. As such, `dyn Trait + Send` is a -> distinct type to `dyn Trait + Send + Send`. See [issue 47010]. - Due to the opaqueness of which concrete type the value is of, trait objects are [dynamically sized types]. Like all DSTs, trait objects are used