diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
commit | 698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch) | |
tree | 173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/traits/suggest-where-clause.stderr | |
parent | Initial commit. (diff) | |
download | rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip |
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/traits/suggest-where-clause.stderr | 102 |
1 files changed, 102 insertions, 0 deletions
diff --git a/src/test/ui/traits/suggest-where-clause.stderr b/src/test/ui/traits/suggest-where-clause.stderr new file mode 100644 index 000000000..d4d9b4967 --- /dev/null +++ b/src/test/ui/traits/suggest-where-clause.stderr @@ -0,0 +1,102 @@ +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 + | +LL | pub const fn size_of<T>() -> usize { + | ^ required by this bound in `std::mem::size_of` +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:5 + | +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 + | +LL | pub const fn size_of<T>() -> usize { + | ^ required by this bound in `std::mem::size_of` +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 + | +LL | pub const fn size_of<T>() -> usize { + | ^ required by this bound in `std::mem::size_of` + +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 + | +LL | pub const fn size_of<T>() -> usize { + | ^ required by this bound in `std::mem::size_of` + +error: aborting due to 7 previous errors + +For more information about this error, try `rustc --explain E0277`. |