summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/generic_const_exprs/issue-80742.stderr
blob: 6aa8ee13b790f57cd8dd8ba2dff2ba475ea28335 (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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
error[E0080]: evaluation of `Inline::<dyn std::fmt::Debug>::{constant#0}` failed
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL
   |
   = note: size_of called on unsized type `dyn Debug`
   |
note: inside `std::mem::size_of::<dyn Debug>`
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL
note: inside `Inline::<dyn Debug>::{constant#0}`
  --> $DIR/issue-80742.rs:22:10
   |
LL |     [u8; size_of::<T>() + 1]: ,
   |          ^^^^^^^^^^^^^^

error[E0599]: the function or associated item `new` exists for struct `Inline<dyn Debug>`, but its trait bounds were not satisfied
  --> $DIR/issue-80742.rs:30:36
   |
LL | struct Inline<T>
   | ---------------- function or associated item `new` not found for this struct
...
LL |     let dst = Inline::<dyn Debug>::new(0);
   |                                    ^^^ function or associated item cannot be called on `Inline<dyn Debug>` due to unsatisfied trait bounds
  --> $SRC_DIR/core/src/fmt/mod.rs:LL:COL
   |
   = note: doesn't satisfy `dyn Debug: Sized`
   |
note: trait bound `dyn Debug: Sized` was not satisfied
  --> $DIR/issue-80742.rs:20:6
   |
LL | impl<T> Inline<T>
   |      ^  ---------
   |      |
   |      unsatisfied trait bound introduced here
help: consider relaxing the type parameter's implicit `Sized` bound
   |
LL | impl<T: ?Sized> Inline<T>
   |       ++++++++

error[E0080]: evaluation of `Inline::<dyn std::fmt::Debug>::{constant#0}` failed
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL
   |
   = note: size_of called on unsized type `dyn Debug`
   |
note: inside `std::mem::size_of::<dyn Debug>`
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL
note: inside `Inline::<dyn Debug>::{constant#0}`
  --> $DIR/issue-80742.rs:14:10
   |
LL |     [u8; size_of::<T>() + 1]: ,
   |          ^^^^^^^^^^^^^^

error[E0277]: the size for values of type `dyn Debug` cannot be known at compilation time
  --> $DIR/issue-80742.rs:30:15
   |
LL |     let dst = Inline::<dyn Debug>::new(0);
   |               ^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
   |
   = help: the trait `Sized` is not implemented for `dyn Debug`
note: required by a bound in `Inline`
  --> $DIR/issue-80742.rs:12:15
   |
LL | struct Inline<T>
   |               ^ required by this bound in `Inline`
help: consider relaxing the implicit `Sized` restriction
   |
LL | struct Inline<T: ?Sized>
   |                ++++++++

error: aborting due to 4 previous errors

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