summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/suggest-where-clause.stderr
blob: 44e63b78cce85b7c5945f4d7a0518938a39331bf (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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
error[E0277]: the size for values of type `U` cannot be known at compilation time
  --> $DIR/suggest-where-clause.rs:7:20
   |
LL | fn check<T: Iterator, U: ?Sized>() {
   |                       - this type parameter needs to be `std::marker::Sized`
LL |     // suggest a where-clause, if needed
LL |     mem::size_of::<U>();
   |                    ^ doesn't have a size known at compile-time
   |
note: required by a bound in `std::mem::size_of`
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL
help: consider removing the `?Sized` bound to make the type parameter `Sized`
   |
LL - fn check<T: Iterator, U: ?Sized>() {
LL + fn check<T: Iterator, U>() {
   |

error[E0277]: the size for values of type `U` cannot be known at compilation time
  --> $DIR/suggest-where-clause.rs:10:20
   |
LL | fn check<T: Iterator, U: ?Sized>() {
   |                       - this type parameter needs to be `std::marker::Sized`
...
LL |     mem::size_of::<Misc<U>>();
   |                    ^^^^^^^ doesn't have a size known at compile-time
   |
note: required because it appears within the type `Misc<U>`
  --> $DIR/suggest-where-clause.rs:3:8
   |
LL | struct Misc<T:?Sized>(T);
   |        ^^^^
note: required by a bound in `std::mem::size_of`
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL
help: consider removing the `?Sized` bound to make the type parameter `Sized`
   |
LL - fn check<T: Iterator, U: ?Sized>() {
LL + fn check<T: Iterator, U>() {
   |

error[E0277]: the trait bound `u64: From<T>` is not satisfied
  --> $DIR/suggest-where-clause.rs:15:5
   |
LL |     <u64 as From<T>>::from;
   |     ^^^^^^^^^^^^^^^^^^^^^^ the trait `From<T>` is not implemented for `u64`
   |
help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
   |
LL | fn check<T: Iterator, U: ?Sized>() where u64: From<T> {
   |                                    ++++++++++++++++++

error[E0277]: the trait bound `u64: From<<T as Iterator>::Item>` is not satisfied
  --> $DIR/suggest-where-clause.rs:18:5
   |
LL |     <u64 as From<<T as Iterator>::Item>>::from;
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<<T as Iterator>::Item>` is not implemented for `u64`
   |
help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
   |
LL | fn check<T: Iterator, U: ?Sized>() where u64: From<<T as Iterator>::Item> {
   |                                    ++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `Misc<_>: From<T>` is not satisfied
  --> $DIR/suggest-where-clause.rs:23:5
   |
LL |     <Misc<_> as From<T>>::from;
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<T>` is not implemented for `Misc<_>`

error[E0277]: the size for values of type `[T]` cannot be known at compilation time
  --> $DIR/suggest-where-clause.rs:28:20
   |
LL |     mem::size_of::<[T]>();
   |                    ^^^ doesn't have a size known at compile-time
   |
   = help: the trait `Sized` is not implemented for `[T]`
note: required by a bound in `std::mem::size_of`
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL

error[E0277]: the size for values of type `[&U]` cannot be known at compilation time
  --> $DIR/suggest-where-clause.rs:31:20
   |
LL |     mem::size_of::<[&U]>();
   |                    ^^^^ doesn't have a size known at compile-time
   |
   = help: the trait `Sized` is not implemented for `[&U]`
note: required by a bound in `std::mem::size_of`
  --> $SRC_DIR/core/src/mem/mod.rs:LL:COL

error: aborting due to 7 previous errors

For more information about this error, try `rustc --explain E0277`.