summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/inductive-overflow/two-traits.stderr
blob: 0d0bf88616c8699411b89d707fddb533f651f15e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
error[E0277]: `T` cannot be shared between threads safely
  --> $DIR/two-traits.rs:11:14
   |
LL |     type X = Self;
   |              ^^^^ `T` cannot be shared between threads safely
   |
note: required by a bound in `Magic::X`
  --> $DIR/two-traits.rs:8:13
   |
LL |     type X: Trait;
   |             ^^^^^ required by this bound in `Magic::X`
help: consider further restricting this bound
   |
LL | impl<T: Magic + std::marker::Sync> Magic for T {
   |               +++++++++++++++++++

error[E0275]: overflow evaluating the requirement `*mut (): Magic`
  --> $DIR/two-traits.rs:20:5
   |
LL |     wizard::<*mut ()>();
   |     ^^^^^^^^^^^^^^^^^
   |
note: required by a bound in `wizard`
  --> $DIR/two-traits.rs:17:14
   |
LL | fn wizard<T: Magic>() { check::<<T as Magic>::X>(); }
   |              ^^^^^ required by this bound in `wizard`

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0275, E0277.
For more information about an error, try `rustc --explain E0275`.