summaryrefslogtreecommitdiffstats
path: root/src/test/ui/typeck/typeck-default-trait-impl-assoc-type.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/typeck/typeck-default-trait-impl-assoc-type.stderr')
-rw-r--r--src/test/ui/typeck/typeck-default-trait-impl-assoc-type.stderr20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/typeck/typeck-default-trait-impl-assoc-type.stderr b/src/test/ui/typeck/typeck-default-trait-impl-assoc-type.stderr
new file mode 100644
index 000000000..468a14762
--- /dev/null
+++ b/src/test/ui/typeck/typeck-default-trait-impl-assoc-type.stderr
@@ -0,0 +1,20 @@
+error[E0277]: `<T as Trait>::AssocType` cannot be sent between threads safely
+ --> $DIR/typeck-default-trait-impl-assoc-type.rs:11:15
+ |
+LL | is_send::<T::AssocType>();
+ | ^^^^^^^^^^^^ `<T as Trait>::AssocType` cannot be sent between threads safely
+ |
+ = help: the trait `Send` is not implemented for `<T as Trait>::AssocType`
+note: required by a bound in `is_send`
+ --> $DIR/typeck-default-trait-impl-assoc-type.rs:14:14
+ |
+LL | fn is_send<T:Send>() {
+ | ^^^^ required by this bound in `is_send`
+help: consider further restricting the associated type
+ |
+LL | fn bar<T:Trait+Send>() where <T as Trait>::AssocType: Send {
+ | +++++++++++++++++++++++++++++++++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.