src/test/ui/coherence/deep-bad-copy-reason.stderr

   1 error[E0204]: the trait `Copy` may not be implemented for this type
   2   --> $DIR/deep-bad-copy-reason.rs:33:24
   3    |
   4 LL | pub struct List<'tcx, T>(Interned<'tcx, ListS<T>>);
   5    |                          ------------------------ this field does not implement `Copy`
   6 ...
   7 LL | impl<'tcx, T> Copy for List<'tcx, T> {}
   8    |                        ^^^^^^^^^^^^^
   9    |
  10 note: the `Copy` impl for `Interned<'tcx, ListS<T>>` requires that `OpaqueListContents: Sized`
  11   --> $DIR/deep-bad-copy-reason.rs:23:26
  12    |
  13 LL | pub struct List<'tcx, T>(Interned<'tcx, ListS<T>>);
  14    |                          ^^^^^^^^^^^^^^^^^^^^^^^^
  15
  16 error: aborting due to previous error
  17
  18 For more information about this error, try `rustc --explain E0204`.