diff options
Diffstat (limited to 'src/test/ui/recursion/recursive-requirements.stderr')
-rw-r--r-- | src/test/ui/recursion/recursive-requirements.stderr | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/src/test/ui/recursion/recursive-requirements.stderr b/src/test/ui/recursion/recursive-requirements.stderr new file mode 100644 index 000000000..8ee154ce5 --- /dev/null +++ b/src/test/ui/recursion/recursive-requirements.stderr @@ -0,0 +1,45 @@ +error[E0277]: `*const Bar` cannot be shared between threads safely + --> $DIR/recursive-requirements.rs:16:12 + | +LL | let _: AssertSync<Foo> = unimplemented!(); + | ^^^^^^^^^^^^^^^ `*const Bar` cannot be shared between threads safely + | + = help: within `Foo`, the trait `Sync` is not implemented for `*const Bar` +note: required because it appears within the type `Foo` + --> $DIR/recursive-requirements.rs:5:12 + | +LL | pub struct Foo { + | ^^^ +note: required by a bound in `AssertSync` + --> $DIR/recursive-requirements.rs:3:22 + | +LL | struct AssertSync<T: Sync>(PhantomData<T>); + | ^^^^ required by this bound in `AssertSync` + +error[E0277]: `*const Foo` cannot be shared between threads safely + --> $DIR/recursive-requirements.rs:16:12 + | +LL | let _: AssertSync<Foo> = unimplemented!(); + | ^^^^^^^^^^^^^^^ `*const Foo` cannot be shared between threads safely + | + = help: within `Foo`, the trait `Sync` is not implemented for `*const Foo` +note: required because it appears within the type `Bar` + --> $DIR/recursive-requirements.rs:10:12 + | +LL | pub struct Bar { + | ^^^ + = note: required because it appears within the type `PhantomData<Bar>` +note: required because it appears within the type `Foo` + --> $DIR/recursive-requirements.rs:5:12 + | +LL | pub struct Foo { + | ^^^ +note: required by a bound in `AssertSync` + --> $DIR/recursive-requirements.rs:3:22 + | +LL | struct AssertSync<T: Sync>(PhantomData<T>); + | ^^^^ required by this bound in `AssertSync` + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0277`. |