(self.tcx.sess.source_map().span_to_snippet(span), &obligation.cause.code)
{
let generics = self.tcx.generics_of(*def_id);
- if generics.params.iter().filter(|p| p.name.as_str() != "Self").next().is_some() && !snippet.ends_with('>') {
+ if generics.params.iter().filter(|p| p.name.as_str() != "Self").next().is_some()
+ && !snippet.ends_with('>')
+ {
// FIXME: To avoid spurious suggestions in functions where type arguments
// where already supplied, we check the snippet to make sure it doesn't
// end with a turbofish. Ideally we would have access to a `PathSegment`
// | `Tt::const_val::<[i8; 123]>::<T>`
// ...
// LL | const fn const_val<T: Sized>() -> usize {
- // | --------- - required by this bound in `Tt::const_val`
+ // | - required by this bound in `Tt::const_val`
// |
// = note: cannot satisfy `_: Tt`
/// --> $DIR/issue-64130-2-send.rs:21:5
/// |
/// LL | fn is_send<T: Send>(t: T) { }
- /// | ------- ---- required by this bound in `is_send`
+ /// | ---- required by this bound in `is_send`
/// ...
/// LL | is_send(bar());
/// | ^^^^^^^ future returned by `bar` is not send
let item_name = tcx.def_path_str(item_def_id);
let msg = format!("required by this bound in `{}`", item_name);
if let Some(ident) = tcx.opt_item_name(item_def_id) {
- if !ident.span.overlaps(span) {
+ let sm = self.tcx.sess.source_map();
+ let same_line =
+ match (sm.lookup_line(ident.span.hi()), sm.lookup_line(span.lo())) {
+ (Ok(l), Ok(r)) => l.line == r.line,
+ _ => true,
+ };
+ if !ident.span.overlaps(span) && !same_line {
err.span_label(ident.span, "");
}
}
| expected signature of `for<'r, 's> fn(&'r (), &'s ()) -> _`
...
LL | fn f1<F>(_: F) where F: Fn(&(), &()) {}
- | -- ------------ required by this bound in `f1`
+ | ------------ required by this bound in `f1`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:3:5
| expected signature of `for<'a, 'r> fn(&'a (), &'r ()) -> _`
...
LL | fn f2<F>(_: F) where F: for<'a> Fn(&'a (), &()) {}
- | -- ----------------------- required by this bound in `f2`
+ | ----------------------- required by this bound in `f2`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:4:5
| expected signature of `for<'r> fn(&(), &'r ()) -> _`
...
LL | fn f3<'a, F>(_: F) where F: Fn(&'a (), &()) {}
- | -- --------------- required by this bound in `f3`
+ | --------------- required by this bound in `f3`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:5:5
| expected signature of `for<'s, 'r> fn(&'s (), &'r ()) -> _`
...
LL | fn f4<F>(_: F) where F: for<'r> Fn(&(), &'r ()) {}
- | -- ----------------------- required by this bound in `f4`
+ | ----------------------- required by this bound in `f4`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:6:5
| expected signature of `for<'r> fn(&'r (), &'r ()) -> _`
...
LL | fn f5<F>(_: F) where F: for<'r> Fn(&'r (), &'r ()) {}
- | -- -------------------------- required by this bound in `f5`
+ | -------------------------- required by this bound in `f5`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:7:5
| expected signature of `for<'r> fn(&'r (), std::boxed::Box<(dyn for<'s> std::ops::Fn(&'s ()) + 'static)>) -> _`
...
LL | fn g1<F>(_: F) where F: Fn(&(), Box<dyn Fn(&())>) {}
- | -- ------------------------- required by this bound in `g1`
+ | ------------------------- required by this bound in `g1`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:8:5
| expected signature of `for<'r> fn(&'r (), for<'s> fn(&'s ())) -> _`
...
LL | fn g2<F>(_: F) where F: Fn(&(), fn(&())) {}
- | -- ---------------- required by this bound in `g2`
+ | ---------------- required by this bound in `g2`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:9:5
| expected signature of `for<'s> fn(&'s (), std::boxed::Box<(dyn for<'r> std::ops::Fn(&'r ()) + 'static)>) -> _`
...
LL | fn g3<F>(_: F) where F: for<'s> Fn(&'s (), Box<dyn Fn(&())>) {}
- | -- ------------------------------------ required by this bound in `g3`
+ | ------------------------------------ required by this bound in `g3`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:10:5
| expected signature of `for<'s> fn(&'s (), for<'r> fn(&'r ())) -> _`
...
LL | fn g4<F>(_: F) where F: Fn(&(), for<'r> fn(&'r ())) {}
- | -- --------------------------- required by this bound in `g4`
+ | --------------------------- required by this bound in `g4`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:11:5
| expected signature of `for<'r, 's> fn(&'r (), std::boxed::Box<(dyn for<'t0> std::ops::Fn(&'t0 ()) + 'static)>, &'s (), for<'t0, 't1> fn(&'t0 (), &'t1 ())) -> _`
...
LL | fn h1<F>(_: F) where F: Fn(&(), Box<dyn Fn(&())>, &(), fn(&(), &())) {}
- | -- -------------------------------------------- required by this bound in `h1`
+ | -------------------------------------------- required by this bound in `h1`
error[E0631]: type mismatch in closure arguments
--> $DIR/anonymous-higher-ranked-lifetime.rs:12:5
| expected signature of `for<'r, 't0> fn(&'r (), std::boxed::Box<(dyn for<'s> std::ops::Fn(&'s ()) + 'static)>, &'t0 (), for<'s, 't1> fn(&'s (), &'t1 ())) -> _`
...
LL | fn h2<F>(_: F) where F: for<'t0> Fn(&(), Box<dyn Fn(&())>, &'t0 (), fn(&(), &())) {}
- | -- --------------------------------------------------------- required by this bound in `h2`
+ | --------------------------------------------------------- required by this bound in `h2`
error: aborting due to 11 previous errors
--> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:31:10
|
LL | fn blue_car<C:Car<Color=Blue>>(c: C) {
- | -------- ---------- required by this bound in `blue_car`
+ | ---------- required by this bound in `blue_car`
...
LL | fn b() { blue_car(ModelT); }
| ^^^^^^^^ expected struct `Blue`, found struct `Black`
--> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:32:10
|
LL | fn black_car<C:Car<Color=Black>>(c: C) {
- | --------- ----------- required by this bound in `black_car`
+ | ----------- required by this bound in `black_car`
...
LL | fn c() { black_car(ModelU); }
| ^^^^^^^^^ expected struct `Black`, found struct `Blue`
--> $DIR/associated-types-eq-3.rs:38:5
|
LL | fn foo1<I: Foo<A=Bar>>(x: I) {
- | ---- ----- required by this bound in `foo1`
+ | ----- required by this bound in `foo1`
...
LL | foo1(a);
| ^^^^ expected struct `Bar`, found `usize`
--> $DIR/associated-types-issue-20346.rs:34:5
|
LL | fn is_iterator_of<A, I: Iterator<Item=A>>(_: &I) {}
- | -------------- ------ required by this bound in `is_iterator_of`
+ | ------ required by this bound in `is_iterator_of`
...
LL | fn test_adapter<T, I: Iterator<Item=Option<T>>>(it: I) {
| - this type parameter
| ^^^^^^ expected `i32`, found associated type
...
LL | fn want_y<T:Foo<Y=i32>>(t: &T) { }
- | ------ ----- required by this bound in `want_y`
+ | ----- required by this bound in `want_y`
|
= note: expected type `i32`
found associated type `<T as Foo>::Y`
| ^^^^^^ expected `u32`, found associated type
...
LL | fn want_x<T:Foo<X=u32>>(t: &T) { }
- | ------ ----- required by this bound in `want_x`
+ | ----- required by this bound in `want_x`
|
= note: expected type `u32`
found associated type `<T as Foo>::X`
--> $DIR/associated-types-overridden-binding.rs:4:12
|
LL | trait Foo: Iterator<Item = i32> {}
- | --- ---------- required by this bound in `Foo`
+ | ---------- required by this bound in `Foo`
LL | trait Bar: Foo<Item = u32> {}
| ^^^^^^^^^^^^^^^ cannot infer type for type parameter `Self`
|
--> $DIR/associated-types-overridden-binding.rs:7:21
|
LL | trait I32Iterator = Iterator<Item = i32>;
- | ----------- ---------- required by this bound in `I32Iterator`
+ | ---------- required by this bound in `I32Iterator`
LL | trait U32Iterator = I32Iterator<Item = u32>;
| ^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for type parameter `Self`
|
--> $DIR/associated-types-path-2.rs:29:5
|
LL | pub fn f1<T: Foo>(a: T, x: T::A) {}
- | -- --- required by this bound in `f1`
+ | --- required by this bound in `f1`
...
LL | f1(2u32, 4u32);
| ^^ the trait `Foo` is not implemented for `u32`
--> $DIR/associated-types-path-2.rs:35:5
|
LL | pub fn f1<T: Foo>(a: T, x: T::A) {}
- | -- --- required by this bound in `f1`
+ | --- required by this bound in `f1`
...
LL | f1(2u32, 4i32);
| ^^ the trait `Foo` is not implemented for `u32`
--> $DIR/async-fn-nonsend.rs:49:5
|
LL | fn assert_send(_: impl Send) {}
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send(local_dropped_before_await());
| ^^^^^^^^^^^ future returned by `local_dropped_before_await` is not `Send`
--> $DIR/async-fn-nonsend.rs:51:5
|
LL | fn assert_send(_: impl Send) {}
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send(non_send_temporary_in_match());
| ^^^^^^^^^^^ future returned by `non_send_temporary_in_match` is not `Send`
--> $DIR/async-fn-nonsend.rs:53:5
|
LL | fn assert_send(_: impl Send) {}
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send(non_sync_with_method_call());
| ^^^^^^^^^^^ future returned by `non_sync_with_method_call` is not `Send`
--> $DIR/issue-64130-1-sync.rs:21:5
|
LL | fn is_sync<T: Sync>(t: T) { }
- | ------- ---- required by this bound in `is_sync`
+ | ---- required by this bound in `is_sync`
...
LL | is_sync(bar());
| ^^^^^^^ future returned by `bar` is not `Sync`
--> $DIR/issue-64130-2-send.rs:21:5
|
LL | fn is_send<T: Send>(t: T) { }
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(bar());
| ^^^^^^^ future returned by `bar` is not `Send`
--> $DIR/issue-64130-3-other.rs:24:5
|
LL | fn is_qux<T: Qux>(t: T) { }
- | ------ --- required by this bound in `is_qux`
+ | --- required by this bound in `is_qux`
LL |
LL | async fn bar() {
| - within this `impl std::future::Future`
--> $DIR/issue-64130-non-send-future-diags.rs:21:5
|
LL | fn is_send<T: Send>(t: T) { }
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(foo());
| ^^^^^^^ future returned by `foo` is not `Send`
--> $DIR/issue-67252-unnamed-future.rs:18:5
|
LL | fn spawn<T: Send>(_: T) {}
- | ----- ---- required by this bound in `spawn`
+ | ---- required by this bound in `spawn`
...
LL | spawn(async {
| ^^^^^ future is not `Send`
--> $DIR/issue-65436-raw-ptr-not-send.rs:12:5
|
LL | fn assert_send<T: Send>(_: T) {}
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send(async {
| ^^^^^^^^^^^ future returned by `main` is not `Send`
--> $DIR/closure-bounds-cant-promote-superkind-in-struct.rs:5:22
|
LL | struct X<F> where F: FnOnce() + 'static + Send {
- | - ---- required by this bound in `X`
+ | ---- required by this bound in `X`
...
LL | fn foo<F>(blk: F) -> X<F> where F: FnOnce() + 'static {
| ^^^^ `F` cannot be sent between threads safely
--> $DIR/closure-bounds-subtype.rs:13:22
|
LL | fn take_const_owned<F>(_: F) where F: FnOnce() + Sync + Send {
- | ---------------- ---- required by this bound in `take_const_owned`
+ | ---- required by this bound in `take_const_owned`
...
LL | take_const_owned(f);
| ^ `F` cannot be shared between threads safely
--> $DIR/coherence-unsafe-trait-object-impl.rs:15:13
|
LL | fn takes_t<S: Trait>(s: S) {
- | ------- ----- required by this bound in `takes_t`
+ | ----- required by this bound in `takes_t`
...
LL | takes_t(t);
| ^ the trait `Trait` is not implemented for `&dyn Trait`
--> $DIR/too_generic_eval_ice.rs:7:13
|
LL | pub struct Foo<A, B>(A, B);
- | --- - required by this bound in `Foo`
+ | - required by this bound in `Foo`
LL |
LL | impl<A, B> Foo<A, B> {
| - this type parameter needs to be `std::marker::Sized`
--> $DIR/too_generic_eval_ice.rs:7:13
|
LL | pub struct Foo<A, B>(A, B);
- | --- - required by this bound in `Foo`
+ | - required by this bound in `Foo`
LL |
LL | impl<A, B> Foo<A, B> {
| - this type parameter needs to be `std::marker::Sized`
--> $DIR/deriving-copyclone.rs:31:13
|
LL | fn is_copy<T: Copy>(_: T) {}
- | ------- ---- required by this bound in `is_copy`
+ | ---- required by this bound in `is_copy`
...
LL | is_copy(B { a: 1, b: C });
| ^^^^^^^^^^^^^^^^
--> $DIR/deriving-copyclone.rs:32:14
|
LL | fn is_clone<T: Clone>(_: T) {}
- | -------- ----- required by this bound in `is_clone`
+ | ----- required by this bound in `is_clone`
...
LL | is_clone(B { a: 1, b: C });
| ^^^^^^^^^^^^^^^^
--> $DIR/deriving-copyclone.rs:35:13
|
LL | fn is_copy<T: Copy>(_: T) {}
- | ------- ---- required by this bound in `is_copy`
+ | ---- required by this bound in `is_copy`
...
LL | is_copy(B { a: 1, b: D });
| ^^^^^^^^^^^^^^^^
--> $DIR/recursion_limit.rs:34:5
|
LL | fn is_send<T:Send>() { }
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send::<A>();
| ^^^^^^^^^^^^
--> $DIR/E0271.rs:10:5
|
LL | fn foo<T>(t: T) where T: Trait<AssociatedType=u32> {
- | --- ------------------ required by this bound in `foo`
+ | ------------------ required by this bound in `foo`
...
LL | foo(3_i8);
| ^^^ expected `u32`, found `&str`
--> $DIR/E0277-2.rs:16:5
|
LL | fn is_send<T: Send>() { }
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send::<Foo>();
| ^^^^^^^^^^^^^^ `*const u8` cannot be sent between threads safely
--> $DIR/E0277.rs:17:15
|
LL | fn some_func<T: Foo>(foo: T) {
- | --------- --- required by this bound in `some_func`
+ | --- required by this bound in `some_func`
...
LL | some_func(5i32);
| ^^^^ the trait `Foo` is not implemented for `i32`
--> $DIR/error-should-say-copy-not-pod.rs:6:17
|
LL | fn check_bound<T:Copy>(_: T) {}
- | ----------- ---- required by this bound in `check_bound`
+ | ---- required by this bound in `check_bound`
...
LL | check_bound("nocopy".to_string());
| ^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::string::String`
--> $DIR/extern-types-not-sync-send.rs:13:19
|
LL | fn assert_sync<T: ?Sized + Sync>() { }
- | ----------- ---- required by this bound in `assert_sync`
+ | ---- required by this bound in `assert_sync`
...
LL | assert_sync::<A>();
| ^ `A` cannot be shared between threads safely
--> $DIR/extern-types-not-sync-send.rs:16:19
|
LL | fn assert_send<T: ?Sized + Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<A>();
| ^ `A` cannot be sent between threads safely
--> $DIR/extern-types-unsized.rs:22:20
|
LL | fn assert_sized<T>() { }
- | ------------ - required by this bound in `assert_sized`
+ | - required by this bound in `assert_sized`
...
LL | assert_sized::<A>();
| ^ doesn't have a size known at compile-time
--> $DIR/extern-types-unsized.rs:25:5
|
LL | fn assert_sized<T>() { }
- | ------------ - required by this bound in `assert_sized`
+ | - required by this bound in `assert_sized`
...
LL | assert_sized::<Foo>();
| ^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
--> $DIR/extern-types-unsized.rs:28:5
|
LL | fn assert_sized<T>() { }
- | ------------ - required by this bound in `assert_sized`
+ | - required by this bound in `assert_sized`
...
LL | assert_sized::<Bar<A>>();
| ^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
--> $DIR/extern-types-unsized.rs:31:5
|
LL | fn assert_sized<T>() { }
- | ------------ - required by this bound in `assert_sized`
+ | - required by this bound in `assert_sized`
...
LL | assert_sized::<Bar<Bar<A>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
--> $DIR/extern-wrong-value-type.rs:9:11
|
LL | fn is_fn<F>(_: F) where F: Fn() {}
- | ----- ---- required by this bound in `is_fn`
+ | ---- required by this bound in `is_fn`
...
LL | is_fn(f);
| ^ expected an `Fn<()>` closure, found `extern "C" fn() {f}`
--> $DIR/send-sync.rs:8:5
|
LL | fn send<T: Send>(_: T) {}
- | ---- ---- required by this bound in `send`
+ | ---- required by this bound in `send`
...
LL | send(format_args!("{:?}", c));
| ^^^^ `core::fmt::Opaque` cannot be shared between threads safely
--> $DIR/send-sync.rs:9:5
|
LL | fn sync<T: Sync>(_: T) {}
- | ---- ---- required by this bound in `sync`
+ | ---- required by this bound in `sync`
...
LL | sync(format_args!("{:?}", c));
| ^^^^ `core::fmt::Opaque` cannot be shared between threads safely
--> $DIR/fn-trait-formatting.rs:19:14
|
LL | fn needs_fn<F>(x: F) where F: Fn(isize) -> isize {}
- | -------- ------------------ required by this bound in `needs_fn`
+ | ------------------ required by this bound in `needs_fn`
...
LL | needs_fn(1);
| ^ expected an `Fn<(isize,)>` closure, found `{integer}`
--> $DIR/not-send-sync.rs:16:5
|
LL | fn assert_send<T: Send>(_: T) {}
- | ----------- ---- required by this bound in `main::assert_send`
+ | ---- required by this bound in `main::assert_send`
...
LL | assert_send(|| {
| ^^^^^^^^^^^ `std::cell::Cell<i32>` cannot be shared between threads safely
--> $DIR/not-send-sync.rs:9:5
|
LL | fn assert_sync<T: Sync>(_: T) {}
- | ----------- ---- required by this bound in `main::assert_sync`
+ | ---- required by this bound in `main::assert_sync`
...
LL | assert_sync(|| {
| ^^^^^^^^^^^ future returned by `main` is not `Sync`
--> $DIR/resume-arg-late-bound.rs:15:10
|
LL | fn test(a: impl for<'a> Generator<&'a mut bool>) {}
- | ---- ------------------------------- required by this bound in `test`
+ | ------------------------------- required by this bound in `test`
...
LL | test(gen);
| ^^^
--> $DIR/static-not-unpin.rs:14:18
|
LL | fn assert_unpin<T: Unpin>(_: T) {
- | ------------ ----- required by this bound in `assert_unpin`
+ | ----- required by this bound in `assert_unpin`
...
LL | assert_unpin(generator);
| ^^^^^^^^^ the trait `std::marker::Unpin` is not implemented for `[static generator@$DIR/static-not-unpin.rs:11:25: 13:6 _]`
--> $DIR/issue-46989.rs:40:18
|
LL | fn assert_foo<T: Foo>() {}
- | ---------- --- required by this bound in `assert_foo`
+ | --- required by this bound in `assert_foo`
...
LL | assert_foo::<fn(&i32)>();
| ^^^^^^^^ the trait `Foo` is not implemented for `for<'r> fn(&'r i32)`
--> $DIR/auto-trait-leak.rs:16:5
|
LL | fn send<T: Send>(_: T) {}
- | ---- ---- required by this bound in `send`
+ | ---- required by this bound in `send`
...
LL | send(cycle2().clone());
| ^^^^ `std::rc::Rc<std::string::String>` cannot be sent between threads safely
| ------------ within this `impl std::ops::Fn<(i32,)>`
...
LL | fn send<T: Send>(_: T) {}
- | ---- ---- required by this bound in `send`
+ | ---- required by this bound in `send`
...
LL | send(before());
| ^^^^ `std::rc::Rc<std::cell::Cell<i32>>` cannot be sent between threads safely
--> $DIR/auto-trait-leak2.rs:16:5
|
LL | fn send<T: Send>(_: T) {}
- | ---- ---- required by this bound in `send`
+ | ---- required by this bound in `send`
...
LL | send(after());
| ^^^^ `std::rc::Rc<std::cell::Cell<i32>>` cannot be sent between threads safely
| ^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
...
LL | enum Option<T> {
- | ------ - required by this bound in `Option`
+ | - required by this bound in `Option`
|
= help: the trait `std::marker::Sized` is not implemented for `dyn for<'r> std::ops::Fn(&'r isize) -> isize`
= note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
--> $DIR/issue-1920-1.rs:12:20
|
LL | fn assert_clone<T>() where T : Clone { }
- | ------------ ----- required by this bound in `assert_clone`
+ | ----- required by this bound in `assert_clone`
...
LL | assert_clone::<foo::issue_1920::S>();
| ^^^^^^^^^^^^^^^^^^ the trait `std::clone::Clone` is not implemented for `foo::issue_1920::S`
--> $DIR/issue-1920-2.rs:10:20
|
LL | fn assert_clone<T>() where T : Clone { }
- | ------------ ----- required by this bound in `assert_clone`
+ | ----- required by this bound in `assert_clone`
...
LL | assert_clone::<bar::S>();
| ^^^^^^ the trait `std::clone::Clone` is not implemented for `bar::S`
--> $DIR/issue-1920-3.rs:14:20
|
LL | fn assert_clone<T>() where T : Clone { }
- | ------------ ----- required by this bound in `assert_clone`
+ | ----- required by this bound in `assert_clone`
...
LL | assert_clone::<foo::issue_1920::S>();
| ^^^^^^^^^^^^^^^^^^ the trait `std::clone::Clone` is not implemented for `issue_1920::S`
--> $DIR/issue-20005.rs:10:49
|
LL | trait From<Src> {
- | ---- --- required by this bound in `From`
+ | --- required by this bound in `From`
...
LL | ) -> <Dst as From<Self>>::Result where Dst: From<Self> {
| ^^^^^^^^^^- help: consider further restricting `Self`: `, Self: std::marker::Sized`
--> $DIR/issue-21763.rs:9:5
|
LL | fn foo<T: Send>() {}
- | --- ---- required by this bound in `foo`
+ | ---- required by this bound in `foo`
...
LL | foo::<HashMap<Rc<()>, Rc<()>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::rc::Rc<()>` cannot be sent between threads safely
--> $DIR/issue-21837.rs:8:9
|
LL | pub struct Foo<T: Bound>(T);
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | impl<T> Trait2 for Foo<T> {}
| ^^^^^^ the trait `Bound` is not implemented for `T`
| ^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
...
LL | struct Vec<T> {
- | --- - required by this bound in `Vec`
+ | - required by this bound in `Vec`
|
= help: the trait `std::marker::Sized` is not implemented for `(dyn std::ops::Fn() + 'static)`
= note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
--> $DIR/issue-25076.rs:10:20
|
LL | fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {}
- | ------- --------------- required by this bound in `do_fold`
+ | --------------- required by this bound in `do_fold`
...
LL | do_fold(bot(), ());
| ^^ the trait `InOut<_>` is not implemented for `()`
--> $DIR/issue-32963.rs:8:5
|
LL | fn size_of_copy<T: Copy+?Sized>() -> usize { mem::size_of::<T>() }
- | ------------ ---- required by this bound in `size_of_copy`
+ | ---- required by this bound in `size_of_copy`
...
LL | size_of_copy::<dyn Misc + Copy>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `dyn Misc`
--> $DIR/issue-40827.rs:14:5
|
LL | fn f<T: Send>(_: T) {}
- | - ---- required by this bound in `f`
+ | ---- required by this bound in `f`
...
LL | f(Foo(Arc::new(Bar::B(None))));
| ^ `std::rc::Rc<Foo>` cannot be sent between threads safely
--> $DIR/issue-40827.rs:14:5
|
LL | fn f<T: Send>(_: T) {}
- | - ---- required by this bound in `f`
+ | ---- required by this bound in `f`
...
LL | f(Foo(Arc::new(Bar::B(None))));
| ^ `std::rc::Rc<Foo>` cannot be shared between threads safely
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
...
LL | const fn const_val<T: Sized>() -> usize {
- | --------- - required by this bound in `Tt::const_val`
+ | - required by this bound in `Tt::const_val`
|
= note: cannot satisfy `_: Tt`
--> $DIR/bound.rs:2:10
|
LL | struct S<I: Iterator>(I);
- | - -------- required by this bound in `S`
+ | -------- required by this bound in `S`
LL | struct T(S<u8>);
| ^^^^^ `u8` is not an iterator
|
--> $DIR/kindck-copy.rs:27:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<&'static mut isize>();
| ^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `&'static mut isize`
--> $DIR/kindck-copy.rs:28:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<&'a mut isize>();
| ^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `&'a mut isize`
--> $DIR/kindck-copy.rs:31:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<Box<isize>>();
| ^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<isize>`
--> $DIR/kindck-copy.rs:32:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<String>();
| ^^^^^^ the trait `std::marker::Copy` is not implemented for `std::string::String`
--> $DIR/kindck-copy.rs:33:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<Vec<isize> >();
| ^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::vec::Vec<isize>`
--> $DIR/kindck-copy.rs:34:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<Box<&'a mut isize>>();
| ^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<&'a mut isize>`
--> $DIR/kindck-copy.rs:42:5
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<Box<dyn Dummy>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<dyn Dummy>`
--> $DIR/kindck-copy.rs:43:5
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<Box<dyn Dummy + Send>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<dyn Dummy + std::marker::Send>`
--> $DIR/kindck-copy.rs:46:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<&'a mut (dyn Dummy + Send)>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `&'a mut (dyn Dummy + std::marker::Send + 'a)`
--> $DIR/kindck-copy.rs:64:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<MyNoncopyStruct>();
| ^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `MyNoncopyStruct`
--> $DIR/kindck-copy.rs:67:19
|
LL | fn assert_copy<T:Copy>() { }
- | ----------- ---- required by this bound in `assert_copy`
+ | ---- required by this bound in `assert_copy`
...
LL | assert_copy::<Rc<isize>>();
| ^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::rc::Rc<isize>`
--> $DIR/kindck-impl-type-params-2.rs:13:16
|
LL | fn take_param<T:Foo>(foo: &T) { }
- | ---------- --- required by this bound in `take_param`
+ | --- required by this bound in `take_param`
...
LL | take_param(&x);
| ^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<{integer}>`
--> $DIR/kindck-inherited-copy-bound.rs:21:16
|
LL | fn take_param<T:Foo>(foo: &T) { }
- | ---------- --- required by this bound in `take_param`
+ | --- required by this bound in `take_param`
...
LL | take_param(&x);
| ^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<{integer}>`
--> $DIR/kindck-inherited-copy-bound.rs:21:16
|
LL | fn take_param<T:Foo>(foo: &T) { }
- | ---------- --- required by this bound in `take_param`
+ | --- required by this bound in `take_param`
...
LL | take_param(&x);
| ^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<{integer}>`
--> $DIR/kindck-nonsendable-1.rs:9:5
|
LL | fn bar<F:FnOnce() + Send>(_: F) { }
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(move|| foo(x));
| ^^^ ------------- within this `[closure@$DIR/kindck-nonsendable-1.rs:9:9: 9:22 x:std::rc::Rc<usize>]`
--> $DIR/kindck-send-object.rs:12:5
|
LL | fn assert_send<T:Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<&'static (dyn Dummy + 'static)>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'static)` cannot be shared between threads safely
--> $DIR/kindck-send-object.rs:17:5
|
LL | fn assert_send<T:Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<Box<dyn Dummy>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `dyn Dummy` cannot be sent between threads safely
--> $DIR/kindck-send-object1.rs:10:5
|
LL | fn assert_send<T:Send+'static>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<&'a dyn Dummy>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be shared between threads safely
--> $DIR/kindck-send-object1.rs:29:5
|
LL | fn assert_send<T:Send+'static>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<Box<dyn Dummy + 'a>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be sent between threads safely
--> $DIR/kindck-send-object1.rs:10:5
|
LL | fn assert_send<T:Send+'static>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<&'a dyn Dummy>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be shared between threads safely
--> $DIR/kindck-send-object1.rs:29:5
|
LL | fn assert_send<T:Send+'static>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<Box<dyn Dummy + 'a>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be sent between threads safely
--> $DIR/kindck-send-object2.rs:7:5
|
LL | fn assert_send<T:Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<&'static dyn Dummy>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'static)` cannot be shared between threads safely
--> $DIR/kindck-send-object2.rs:12:5
|
LL | fn assert_send<T:Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<Box<dyn Dummy>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `dyn Dummy` cannot be sent between threads safely
--> $DIR/kindck-send-owned.rs:12:5
|
LL | fn assert_send<T:Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<Box<*mut u8>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*mut u8` cannot be sent between threads safely
--> $DIR/kindck-send-unsafe.rs:6:19
|
LL | fn assert_send<T:Send>() { }
- | ----------- ---- required by this bound in `assert_send`
+ | ---- required by this bound in `assert_send`
...
LL | assert_send::<*mut &'a isize>();
| ^^^^^^^^^^^^^^ `*mut &'a isize` cannot be sent between threads safely
--> $DIR/overlap-marker-trait.rs:27:17
|
LL | fn is_marker<T: Marker>() { }
- | --------- ------ required by this bound in `is_marker`
+ | ------ required by this bound in `is_marker`
...
LL | is_marker::<NotDebugOrDisplay>();
| ^^^^^^^^^^^^^^^^^ the trait `Marker` is not implemented for `NotDebugOrDisplay`
--> $DIR/E0631.rs:7:5
|
LL | fn foo<F: Fn(usize)>(_: F) {}
- | --- --------- required by this bound in `foo`
+ | --------- required by this bound in `foo`
...
LL | foo(|_: isize| {});
| ^^^ ---------- found signature of `fn(isize) -> _`
--> $DIR/E0631.rs:8:5
|
LL | fn bar<F: Fn<usize>>(_: F) {}
- | --- --------- required by this bound in `bar`
+ | --------- required by this bound in `bar`
...
LL | bar(|_: isize| {});
| ^^^ ---------- found signature of `fn(isize) -> _`
--> $DIR/E0631.rs:9:9
|
LL | fn foo<F: Fn(usize)>(_: F) {}
- | --- --------- required by this bound in `foo`
+ | --------- required by this bound in `foo`
...
LL | fn f(_: u64) {}
| ------------ found signature of `fn(u64) -> _`
--> $DIR/E0631.rs:10:9
|
LL | fn bar<F: Fn<usize>>(_: F) {}
- | --- --------- required by this bound in `bar`
+ | --------- required by this bound in `bar`
LL | fn main() {
LL | fn f(_: u64) {}
| ------------ found signature of `fn(u64) -> _`
--> $DIR/closure-arg-count.rs:13:5
|
LL | fn f<F: Fn<usize>>(_: F) {}
- | - --------- required by this bound in `f`
+ | --------- required by this bound in `f`
...
LL | f(|| panic!());
| ^ -- takes 0 arguments
--> $DIR/closure-arg-count.rs:15:5
|
LL | fn f<F: Fn<usize>>(_: F) {}
- | - --------- required by this bound in `f`
+ | --------- required by this bound in `f`
...
LL | f( move || panic!());
| ^ ---------- takes 0 arguments
| ^^^ expected function that takes 0 arguments
...
LL | fn call<F, R>(_: F) where F: FnOnce() -> R {}
- | ---- ------------- required by this bound in `call`
+ | ------------- required by this bound in `call`
LL | struct Foo(u8);
| --------------- takes 1 argument
--> $DIR/closure-arg-type-mismatch.rs:10:9
|
LL | fn baz<F: Fn(*mut &u32)>(_: F) {}
- | --- ------------- required by this bound in `baz`
+ | ------------- required by this bound in `baz`
LL | fn _test<'a>(f: fn(*mut &'a u32)) {
LL | baz(f);
| ^
--> $DIR/closure-arg-type-mismatch.rs:10:5
|
LL | fn baz<F: Fn(*mut &u32)>(_: F) {}
- | --- ------------- required by this bound in `baz`
+ | ------------- required by this bound in `baz`
LL | fn _test<'a>(f: fn(*mut &'a u32)) {
LL | baz(f);
| ^^^ expected bound lifetime parameter, found concrete lifetime
--> $DIR/closure-mismatch.rs:8:5
|
LL | fn baz<T: Foo>(_: T) {}
- | --- --- required by this bound in `baz`
+ | --- required by this bound in `baz`
...
LL | baz(|_| ());
| ^^^ expected bound lifetime parameter, found concrete lifetime
--> $DIR/closure-mismatch.rs:8:5
|
LL | fn baz<T: Foo>(_: T) {}
- | --- --- required by this bound in `baz`
+ | --- required by this bound in `baz`
...
LL | baz(|_| ());
| ^^^ ------ found signature of `fn(_) -> _`
| --------------------------- found signature of `for<'r> fn(&'r mut isize) -> _`
LL |
LL | fn apply<T, F>(t: T, f: F) where F: FnOnce(T) {
- | ----- --------- required by this bound in `apply`
+ | --------- required by this bound in `apply`
...
LL | apply(&3, takes_mut);
| ^^^^^^^^^ expected signature of `fn(&{integer}) -> _`
| ----------------------- found signature of `for<'r> fn(&'r isize) -> _`
...
LL | fn apply<T, F>(t: T, f: F) where F: FnOnce(T) {
- | ----- --------- required by this bound in `apply`
+ | --------- required by this bound in `apply`
...
LL | apply(&mut 3, takes_imm);
| ^^^^^^^^^ expected signature of `fn(&mut {integer}) -> _`
fn call_it<F:FnMut(isize,isize)->isize>(y: isize, mut f: F) -> isize {
//~^ NOTE required by this bound in `call_it`
-//~| NOTE
f(2, y)
}
error[E0631]: type mismatch in closure arguments
- --> $DIR/unboxed-closures-vtable-mismatch.rs:16:24
+ --> $DIR/unboxed-closures-vtable-mismatch.rs:15:24
|
LL | fn call_it<F:FnMut(isize,isize)->isize>(y: isize, mut f: F) -> isize {
- | ------- ------------------------- required by this bound in `call_it`
+ | ------------------------- required by this bound in `call_it`
...
LL | let f = to_fn_mut(|x: usize, y: isize| -> isize { (x as isize) + y });
| ----------------------------- found signature of `fn(usize, isize) -> _`
--> $DIR/mutable-enum-indirect.rs:17:5
|
LL | fn bar<T: Sync>(_: T) {}
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(&x);
| ^^^ `NoSync` cannot be shared between threads safely
--> $DIR/mutexguard-sync.rs:11:15
|
LL | fn test_sync<T: Sync>(_t: T) {}
- | --------- ---- required by this bound in `test_sync`
+ | ---- required by this bound in `test_sync`
...
LL | test_sync(guard);
| ^^^^^ `std::cell::Cell<i32>` cannot be shared between threads safely
--> $DIR/namespace-mix.rs:33:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m1::S{});
| ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:35:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m2::S{});
| ^^^^^^^ the trait `Impossible` is not implemented for `c::S`
--> $DIR/namespace-mix.rs:36:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m2::S);
| ^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:39:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm1::S{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:41:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm2::S{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::S`
--> $DIR/namespace-mix.rs:42:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm2::S);
| ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:55:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m3::TS{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:56:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m3::TS);
| ^^^^^^ the trait `Impossible` is not implemented for `fn() -> c::TS {c::TS}`
--> $DIR/namespace-mix.rs:57:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m4::TS{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::TS`
--> $DIR/namespace-mix.rs:58:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m4::TS);
| ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:61:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm3::TS{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:62:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm3::TS);
| ^^^^^^^ the trait `Impossible` is not implemented for `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}`
--> $DIR/namespace-mix.rs:63:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm4::TS{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::TS`
--> $DIR/namespace-mix.rs:64:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm4::TS);
| ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:77:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m5::US{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:78:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m5::US);
| ^^^^^^ the trait `Impossible` is not implemented for `c::US`
--> $DIR/namespace-mix.rs:79:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m6::US{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::US`
--> $DIR/namespace-mix.rs:80:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m6::US);
| ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:83:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm5::US{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:84:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm5::US);
| ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
--> $DIR/namespace-mix.rs:85:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm6::US{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
--> $DIR/namespace-mix.rs:86:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm6::US);
| ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:99:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m7::V{});
| ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:101:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m8::V{});
| ^^^^^^^ the trait `Impossible` is not implemented for `c::E`
--> $DIR/namespace-mix.rs:102:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m8::V);
| ^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:105:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm7::V{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:107:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm8::V{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
--> $DIR/namespace-mix.rs:108:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm8::V);
| ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:121:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m9::TV{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:122:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(m9::TV);
| ^^^^^^ the trait `Impossible` is not implemented for `fn() -> c::E {c::E::TV}`
--> $DIR/namespace-mix.rs:123:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(mA::TV{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
--> $DIR/namespace-mix.rs:124:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(mA::TV);
| ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:127:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm9::TV{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:128:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xm9::TV);
| ^^^^^^^ the trait `Impossible` is not implemented for `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}`
--> $DIR/namespace-mix.rs:129:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xmA::TV{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
--> $DIR/namespace-mix.rs:130:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xmA::TV);
| ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:143:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(mB::UV{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:144:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(mB::UV);
| ^^^^^^ the trait `Impossible` is not implemented for `c::E`
--> $DIR/namespace-mix.rs:145:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(mC::UV{});
| ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
--> $DIR/namespace-mix.rs:146:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(mC::UV);
| ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
--> $DIR/namespace-mix.rs:149:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xmB::UV{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
--> $DIR/namespace-mix.rs:150:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xmB::UV);
| ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
--> $DIR/namespace-mix.rs:151:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xmC::UV{});
| ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
--> $DIR/namespace-mix.rs:152:11
|
LL | fn check<T: Impossible>(_: T) {}
- | ----- ---------- required by this bound in `check`
+ | ---------- required by this bound in `check`
...
LL | check(xmC::UV);
| ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
fn foo<T: ImplementedForUnitButNotNever>(_t: T) {}
//~^ NOTE required by this bound in `foo`
-//~| NOTE
fn smeg() {
let _x = return;
error[E0277]: the trait bound `!: ImplementedForUnitButNotNever` is not satisfied
- --> $DIR/defaulted-never-note.rs:27:5
+ --> $DIR/defaulted-never-note.rs:26:5
|
LL | fn foo<T: ImplementedForUnitButNotNever>(_t: T) {}
- | --- ----------------------------- required by this bound in `foo`
+ | ----------------------------- required by this bound in `foo`
...
LL | foo(_x);
| ^^^ the trait `ImplementedForUnitButNotNever` is not implemented for `!`
--> $DIR/no_send-enum.rs:16:5
|
LL | fn bar<T: Send>(_: T) {}
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(x);
| ^^^ `NoSend` cannot be sent between threads safely
--> $DIR/no_send-rc.rs:7:9
|
LL | fn bar<T: Send>(_: T) {}
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(x);
| ^ `std::rc::Rc<{integer}>` cannot be sent between threads safely
--> $DIR/no_send-struct.rs:15:9
|
LL | fn bar<T: Send>(_: T) {}
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(x);
| ^ `Foo` cannot be sent between threads safely
--> $DIR/no_share-enum.rs:14:5
|
LL | fn bar<T: Sync>(_: T) {}
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(x);
| ^^^ `NoSync` cannot be shared between threads safely
--> $DIR/no_share-struct.rs:12:9
|
LL | fn bar<T: Sync>(_: T) {}
- | --- ---- required by this bound in `bar`
+ | ---- required by this bound in `bar`
...
LL | bar(x);
| ^ `Foo` cannot be shared between threads safely
--> $DIR/not-panic-safe-2.rs:10:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<Rc<RefCell<i32>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<i32>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-2.rs:10:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<Rc<RefCell<i32>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<isize>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-3.rs:10:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<Arc<RefCell<i32>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<i32>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-3.rs:10:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<Arc<RefCell<i32>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<isize>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-4.rs:9:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<&RefCell<i32>>();
| ^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<i32>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-4.rs:9:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<&RefCell<i32>>();
| ^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<isize>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-5.rs:9:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<*const UnsafeCell<i32>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<i32>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-6.rs:9:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<*mut RefCell<i32>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<i32>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe-6.rs:9:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<*mut RefCell<i32>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<isize>` may contain interior mutability and a reference may not be safely transferrable across a catch_unwind boundary
--> $DIR/not-panic-safe.rs:9:5
|
LL | fn assert<T: UnwindSafe + ?Sized>() {}
- | ------ ---------- required by this bound in `assert`
+ | ---------- required by this bound in `assert`
...
LL | assert::<&mut i32>();
| ^^^^^^^^^^^^^^^^^^ `&mut i32` may not be safely transferred across an unwind boundary
--> $DIR/not-sync.rs:8:12
|
LL | fn test<T: Sync>() {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test::<Cell<i32>>();
| ^^^^^^^^^ `std::cell::Cell<i32>` cannot be shared between threads safely
--> $DIR/not-sync.rs:10:12
|
LL | fn test<T: Sync>() {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test::<RefCell<i32>>();
| ^^^^^^^^^^^^ `std::cell::RefCell<i32>` cannot be shared between threads safely
--> $DIR/not-sync.rs:13:12
|
LL | fn test<T: Sync>() {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test::<Rc<i32>>();
| ^^^^^^^ `std::rc::Rc<i32>` cannot be shared between threads safely
--> $DIR/not-sync.rs:15:12
|
LL | fn test<T: Sync>() {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test::<Weak<i32>>();
| ^^^^^^^^^ `std::rc::Weak<i32>` cannot be shared between threads safely
--> $DIR/not-sync.rs:18:12
|
LL | fn test<T: Sync>() {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test::<Receiver<i32>>();
| ^^^^^^^^^^^^^ `std::sync::mpsc::Receiver<i32>` cannot be shared between threads safely
--> $DIR/not-sync.rs:20:12
|
LL | fn test<T: Sync>() {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test::<Sender<i32>>();
| ^^^^^^^^^^^ `std::sync::mpsc::Sender<i32>` cannot be shared between threads safely
--> $DIR/object-does-not-impl-trait.rs:6:44
|
LL | fn take_foo<F:Foo>(f: F) {}
- | -------- --- required by this bound in `take_foo`
+ | --- required by this bound in `take_foo`
LL | fn take_object(f: Box<dyn Foo>) { take_foo(f); }
| ^ the trait `Foo` is not implemented for `std::boxed::Box<dyn Foo>`
--> $DIR/enclosing-scope.rs:14:11
|
LL | fn f<T: Trait>(x: T) {}
- | - ----- required by this bound in `f`
+ | ----- required by this bound in `f`
...
LL | let x = || {
| _____________-
--> $DIR/enclosing-scope.rs:16:15
|
LL | fn f<T: Trait>(x: T) {}
- | - ----- required by this bound in `f`
+ | ----- required by this bound in `f`
...
LL | let y = || {
| _________________-
--> $DIR/enclosing-scope.rs:22:15
|
LL | fn f<T: Trait>(x: T) {}
- | - ----- required by this bound in `f`
+ | ----- required by this bound in `f`
LL |
LL | / fn main() {
LL | | let x = || {
--> $DIR/enclosing-scope.rs:26:7
|
LL | fn f<T: Trait>(x: T) {}
- | - ----- required by this bound in `f`
+ | ----- required by this bound in `f`
LL |
LL | / fn main() {
LL | | let x = || {
--> $DIR/on-trait.rs:28:30
|
LL | fn collect<A, I: Iterator<Item=A>, B: MyFromIterator<A>>(it: I) -> B {
- | ------- ----------------- required by this bound in `collect`
+ | ----------------- required by this bound in `collect`
...
LL | let y: Option<Vec<u8>> = collect(x.iter()); // this should give approximately the same error for x.iter().collect()
| ^^^^^^^ a collection of type `std::option::Option<std::vec::Vec<u8>>` cannot be built from an iterator over elements of type `&u8`
--> $DIR/on-trait.rs:31:21
|
LL | fn foobar<U: Clone, T: Foo<u8, U, u32>>() -> T {
- | ------ --------------- required by this bound in `foobar`
+ | --------------- required by this bound in `foobar`
...
LL | let x: String = foobar();
| ^^^^^^ test error `std::string::String` with `u8` `_` `u32` in `Bar::Foo`
--> $DIR/phantom-oibit.rs:21:12
|
LL | fn is_zen<T: Zen>(_: T) {}
- | ------ --- required by this bound in `is_zen`
+ | --- required by this bound in `is_zen`
...
LL | is_zen(x)
| ^ `T` cannot be shared between threads safely
--> $DIR/phantom-oibit.rs:26:12
|
LL | fn is_zen<T: Zen>(_: T) {}
- | ------ --- required by this bound in `is_zen`
+ | --- required by this bound in `is_zen`
...
LL | is_zen(x)
| ^ `T` cannot be shared between threads safely
--> $DIR/recursive-requirements.rs:16:12
|
LL | struct AssertSync<T: Sync>(PhantomData<T>);
- | ---------- ---- required by this bound in `AssertSync`
+ | ---- required by this bound in `AssertSync`
...
LL | let _: AssertSync<Foo> = unimplemented!();
| ^^^^^^^^^^^^^^^ `*const Bar` cannot be shared between threads safely
--> $DIR/recursive-requirements.rs:16:12
|
LL | struct AssertSync<T: Sync>(PhantomData<T>);
- | ---------- ---- required by this bound in `AssertSync`
+ | ---- required by this bound in `AssertSync`
...
LL | let _: AssertSync<Foo> = unimplemented!();
| ^^^^^^^^^^^^^^^ `*const Foo` cannot be shared between threads safely
--> $DIR/str-mut-idx.rs:4:15
|
LL | fn bot<T>() -> T { loop {} }
- | --- - required by this bound in `bot`
+ | - required by this bound in `bot`
...
LL | s[1..2] = bot();
| ^^^ doesn't have a size known at compile-time
--> $DIR/substs-ppaux.rs:49:5
|
LL | fn bar<'a, T>() where T: 'a {}
- | --- -- required by this bound in `Foo::bar`
+ | -- required by this bound in `Foo::bar`
...
LL | <str as Foo<u8>>::bar;
| ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
--> $DIR/substs-ppaux.rs:49:5
|
LL | fn bar<'a, T>() where T: 'a {}
- | --- -- required by this bound in `Foo::bar`
+ | -- required by this bound in `Foo::bar`
...
LL | <str as Foo<u8>>::bar;
| ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
| --- consider calling this function
LL |
LL | fn bar(f: impl Future<Output=()>) {}
- | --- ----------------- required by this bound in `bar`
+ | ----------------- required by this bound in `bar`
...
LL | bar(foo);
| ^^^ the trait `std::future::Future` is not implemented for `fn() -> impl std::future::Future {foo}`
--> $DIR/async-fn-ctor-passed-as-arg-where-it-should-have-been-called.rs:12:9
|
LL | fn bar(f: impl Future<Output=()>) {}
- | --- ----------------- required by this bound in `bar`
+ | ----------------- required by this bound in `bar`
...
LL | let async_closure = async || ();
| -------- consider calling this closure
| --- consider calling this function
LL |
LL | fn bar(f: impl T<O=()>) {}
- | --- ------- required by this bound in `bar`
+ | ------- required by this bound in `bar`
...
LL | bar(foo);
| ^^^ the trait `T` is not implemented for `fn() -> impl T {foo}`
--> $DIR/fn-ctor-passed-as-arg-where-it-should-have-been-called.rs:19:9
|
LL | fn bar(f: impl T<O=()>) {}
- | --- ------- required by this bound in `bar`
+ | ------- required by this bound in `bar`
...
LL | let closure = || S;
| -- consider calling this closure
--> $DIR/imm-ref-trait-object-literal.rs:12:7
|
LL | fn foo<X: Trait>(_: X) {}
- | --- ----- required by this bound in `foo`
+ | ----- required by this bound in `foo`
...
LL | foo(&s);
| ^^ the trait `Trait` is not implemented for `&S`
--> $DIR/imm-ref-trait-object-literal.rs:13:7
|
LL | fn foo<X: Trait>(_: X) {}
- | --- ----- required by this bound in `foo`
+ | ----- required by this bound in `foo`
...
LL | foo(s);
| ^ the trait `Trait` is not implemented for `S`
--> $DIR/into-str.rs:4:5
|
LL | fn foo<'a, T>(_t: T) where T: Into<&'a str> {}
- | --- ------------- required by this bound in `foo`
+ | ------------- required by this bound in `foo`
...
LL | foo(String::new());
| ^^^ the trait `std::convert::From<std::string::String>` is not implemented for `&str`
--> $DIR/restrict-type-argument.rs:4:13
|
LL | fn is_send<T: Send>(val: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(val);
| ^^^ `impl Sync` cannot be sent between threads safely
--> $DIR/restrict-type-argument.rs:8:13
|
LL | fn is_send<T: Send>(val: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(val);
| ^^^ `S` cannot be sent between threads safely
--> $DIR/restrict-type-argument.rs:12:13
|
LL | fn is_send<T: Send>(val: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(val);
| ^^^ `S` cannot be sent between threads safely
--> $DIR/restrict-type-argument.rs:20:13
|
LL | fn is_send<T: Send>(val: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(val);
| ^^^ `S` cannot be sent between threads safely
--> $DIR/restrict-type-argument.rs:24:13
|
LL | fn is_send<T: Send>(val: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(val);
| ^^^ `S` cannot be sent between threads safely
--> $DIR/restrict-type-argument.rs:28:13
|
LL | fn is_send<T: Send>(val: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(val);
| ^^^ `S` cannot be sent between threads safely
--> $DIR/negated-auto-traits-error.rs:23:5
|
LL | struct Outer<T: Send>(T);
- | ----- ---- required by this bound in `Outer`
+ | ---- required by this bound in `Outer`
...
LL | Outer(TestType);
| ^^^^^^^^^^^^^^^ `dummy::TestType` cannot be sent between threads safely
--> $DIR/negated-auto-traits-error.rs:32:13
|
LL | fn is_send<T: Send>(_: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(TestType);
| ^^^^^^^^ `dummy1b::TestType` cannot be sent between threads safely
--> $DIR/negated-auto-traits-error.rs:40:13
|
LL | fn is_send<T: Send>(_: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send((8, TestType));
| ^^^^^^^^^^^^^ `dummy1c::TestType` cannot be sent between threads safely
--> $DIR/negated-auto-traits-error.rs:48:13
|
LL | fn is_send<T: Send>(_: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(Box::new(TestType));
| ^^^^^^^^^^^^^^^^^^
--> $DIR/negated-auto-traits-error.rs:56:13
|
LL | fn is_send<T: Send>(_: T) {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send(Box::new(Outer2(TestType)));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ `dummy3::TestType` cannot be sent between threads safely
--> $DIR/negated-auto-traits-error.rs:66:13
|
LL | fn is_sync<T: Sync>(_: T) {}
- | ------- ---- required by this bound in `is_sync`
+ | ---- required by this bound in `is_sync`
...
LL | is_sync(Outer2(TestType));
| ^^^^^^^^^^^^^^^^
--> $DIR/trait-alias-cross-crate.rs:14:17
|
LL | fn use_alias<T: SendSync>() {}
- | --------- -------- required by this bound in `use_alias`
+ | -------- required by this bound in `use_alias`
...
LL | use_alias::<Rc<u32>>();
| ^^^^^^^ `std::rc::Rc<u32>` cannot be sent between threads safely
--> $DIR/trait-alias-cross-crate.rs:14:17
|
LL | fn use_alias<T: SendSync>() {}
- | --------- -------- required by this bound in `use_alias`
+ | -------- required by this bound in `use_alias`
...
LL | use_alias::<Rc<u32>>();
| ^^^^^^^ `std::rc::Rc<u32>` cannot be shared between threads safely
--> $DIR/trait-alias-wf.rs:5:14
|
LL | trait A<T: Foo> {}
- | - --- required by this bound in `A`
+ | --- required by this bound in `A`
LL | trait B<T> = A<T>;
| ^^^^ the trait `Foo` is not implemented for `T`
|
--> $DIR/trait-bounds-on-structs-and-enums-in-fns.rs:13:15
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | fn explode(x: Foo<u32>) {}
| ^^^^^^^^ the trait `Trait` is not implemented for `u32`
--> $DIR/trait-bounds-on-structs-and-enums-in-fns.rs:16:14
|
LL | enum Bar<T:Trait> {
- | --- ----- required by this bound in `Bar`
+ | ----- required by this bound in `Bar`
...
LL | fn kaboom(y: Bar<f32>) {}
| ^^^^^^^^ the trait `Trait` is not implemented for `f32`
--> $DIR/trait-bounds-on-structs-and-enums-in-impls.rs:20:6
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | impl PolyTrait<Foo<u16>> for Struct {
| ^^^^^^^^^^^^^^^^^^^ the trait `Trait` is not implemented for `u16`
--> $DIR/trait-bounds-on-structs-and-enums-locals.rs:15:14
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | let baz: Foo<usize> = loop { };
| ^^^^^^^^^^ the trait `Trait` is not implemented for `usize`
--> $DIR/trait-bounds-on-structs-and-enums-static.rs:9:11
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | static X: Foo<usize> = Foo {
| ^^^^^^^^^^ the trait `Trait` is not implemented for `usize`
--> $DIR/trait-bounds-on-structs-and-enums.rs:13:9
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | impl<T> Foo<T> {
| ^^^^^^ the trait `Trait` is not implemented for `T`
--> $DIR/trait-bounds-on-structs-and-enums.rs:19:5
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | a: Foo<isize>,
| ^^^^^^^^^^^^^ the trait `Trait` is not implemented for `isize`
--> $DIR/trait-bounds-on-structs-and-enums.rs:23:10
|
LL | enum Bar<T:Trait> {
- | --- ----- required by this bound in `Bar`
+ | ----- required by this bound in `Bar`
...
LL | Quux(Bar<usize>),
| ^^^^^^^^^^ the trait `Trait` is not implemented for `usize`
--> $DIR/trait-bounds-on-structs-and-enums.rs:27:5
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | b: Foo<U>,
| ^^^^^^^^^ the trait `Trait` is not implemented for `U`
--> $DIR/trait-bounds-on-structs-and-enums.rs:31:21
|
LL | enum Bar<T:Trait> {
- | --- ----- required by this bound in `Bar`
+ | ----- required by this bound in `Bar`
...
LL | EvenMoreBadness(Bar<V>),
| ^^^^^^ the trait `Trait` is not implemented for `V`
--> $DIR/trait-bounds-on-structs-and-enums.rs:35:5
|
LL | struct Foo<T:Trait> {
- | --- ----- required by this bound in `Foo`
+ | ----- required by this bound in `Foo`
...
LL | Foo<i32>,
| ^^^^^^^^ the trait `Trait` is not implemented for `i32`
--> $DIR/trait-bounds-on-structs-and-enums.rs:39:22
|
LL | enum Bar<T:Trait> {
- | --- ----- required by this bound in `Bar`
+ | ----- required by this bound in `Bar`
...
LL | DictionaryLike { field: Bar<u8> },
| ^^^^^^^^^^^^^^ the trait `Trait` is not implemented for `u8`
--> $DIR/traits-inductive-overflow-simultaneous.rs:18:5
|
LL | fn is_ee<T: Combo>(t: T) {
- | ----- ----- required by this bound in `is_ee`
+ | ----- required by this bound in `is_ee`
...
LL | is_ee(4);
| ^^^^^
--> $DIR/traits-inductive-overflow-supertrait-oibit.rs:16:23
|
LL | fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }
- | ---- ----- required by this bound in `copy`
+ | ----- required by this bound in `copy`
...
LL | let (a, b) = copy(NoClone);
| ^^^^^^^ the trait `std::marker::Copy` is not implemented for `NoClone`
--> $DIR/traits-inductive-overflow-supertrait.rs:13:18
|
LL | fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }
- | ---- ----- required by this bound in `copy`
+ | ----- required by this bound in `copy`
...
LL | let (a, b) = copy(NoClone);
| ^^^^
--> $DIR/traits-inductive-overflow-two-traits.rs:19:5
|
LL | fn wizard<T: Magic>() { check::<<T as Magic>::X>(); }
- | ------ ----- required by this bound in `wizard`
+ | ----- required by this bound in `wizard`
...
LL | wizard::<*mut ()>();
| ^^^^^^^^^^^^^^^^^
| ^^^^ the trait `Foo` is not implemented for `i32`
...
LL | fn generic_function<T: Foo>(t: T) {}
- | ---------------- --- required by this bound in `generic_function`
+ | --- required by this bound in `generic_function`
error: aborting due to 4 previous errors
| ^^ the trait `std::ops::Try` is not implemented for `()`
...
LL | fn try_trait_generic<T: Try>() -> T {
- | ----------------- --- required by this bound in `try_trait_generic`
+ | --- required by this bound in `try_trait_generic`
error[E0277]: the `?` operator can only be applied to values that implement `std::ops::Try`
--> $DIR/try-operator-on-main.rs:22:5
fn foo<T: Into<String>>(x: i32) {}
//~^ NOTE required by
-//~| NOTE
fn main() {
foo(42);
error[E0283]: type annotations needed
- --> $DIR/type-annotation-needed.rs:6:5
+ --> $DIR/type-annotation-needed.rs:5:5
|
LL | fn foo<T: Into<String>>(x: i32) {}
- | --- ------------ required by this bound in `foo`
+ | ------------ required by this bound in `foo`
...
LL | foo(42);
| ^^^ cannot infer type for type parameter `T` declared on the function `foo`
--> $DIR/type-check-defaults.rs:6:19
|
LL | struct Foo<T, U: FromIterator<T>>(T, U);
- | --- --------------- required by this bound in `Foo`
+ | --------------- required by this bound in `Foo`
LL | struct WellFormed<Z = Foo<i32, i32>>(Z);
| ^ value of type `i32` cannot be built from `std::iter::Iterator<Item=i32>`
|
--> $DIR/type-check-defaults.rs:8:27
|
LL | struct Foo<T, U: FromIterator<T>>(T, U);
- | --- --------------- required by this bound in `Foo`
+ | --------------- required by this bound in `Foo`
...
LL | struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z);
| ^ value of type `i32` cannot be built from `std::iter::Iterator<Item=i32>`
--> $DIR/type-check-defaults.rs:21:25
|
LL | trait Super<T: Copy> { }
- | ----- ---- required by this bound in `Super`
+ | ---- required by this bound in `Super`
LL | trait Base<T = String>: Super<T> { }
| ^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
|
| ^^^^^^^^^^^^^^^^^^^^^^^ `<T as Trait>::AssocType` cannot be sent between threads safely
...
LL | fn is_send<T:Send>() {
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
|
= help: the trait `std::marker::Send` is not implemented for `<T as Trait>::AssocType`
--> $DIR/typeck-default-trait-impl-constituent-types-2.rs:17:5
|
LL | fn is_mytrait<T: MyTrait>() {}
- | ---------- ------- required by this bound in `is_mytrait`
+ | ------- required by this bound in `is_mytrait`
...
LL | is_mytrait::<(MyS2, MyS)>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^ within `(MyS2, MyS)`, the trait `MyTrait` is not implemented for `MyS2`
--> $DIR/typeck-default-trait-impl-constituent-types.rs:21:18
|
LL | fn is_mytrait<T: MyTrait>() {}
- | ---------- ------- required by this bound in `is_mytrait`
+ | ------- required by this bound in `is_mytrait`
...
LL | is_mytrait::<MyS2>();
| ^^^^ the trait `MyTrait` is not implemented for `MyS2`
--> $DIR/typeck-default-trait-impl-negation-send.rs:19:15
|
LL | fn is_send<T: Send>() {}
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
...
LL | is_send::<MyNotSendable>();
| ^^^^^^^^^^^^^ `MyNotSendable` cannot be sent between threads safely
--> $DIR/typeck-default-trait-impl-negation-sync.rs:33:15
|
LL | fn is_sync<T: Sync>() {}
- | ------- ---- required by this bound in `is_sync`
+ | ---- required by this bound in `is_sync`
...
LL | is_sync::<MyNotSync>();
| ^^^^^^^^^ `MyNotSync` cannot be shared between threads safely
--> $DIR/typeck-default-trait-impl-negation-sync.rs:36:5
|
LL | fn is_sync<T: Sync>() {}
- | ------- ---- required by this bound in `is_sync`
+ | ---- required by this bound in `is_sync`
...
LL | is_sync::<MyTypeWUnsafe>();
| ^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<u8>` cannot be shared between threads safely
--> $DIR/typeck-default-trait-impl-negation-sync.rs:39:5
|
LL | fn is_sync<T: Sync>() {}
- | ------- ---- required by this bound in `is_sync`
+ | ---- required by this bound in `is_sync`
...
LL | is_sync::<MyTypeManaged>();
| ^^^^^^^^^^^^^^^^^^^^^^^^ `Managed` cannot be shared between threads safely
--> $DIR/typeck-default-trait-impl-negation.rs:22:19
|
LL | fn is_my_trait<T: MyTrait>() {}
- | ----------- ------- required by this bound in `is_my_trait`
+ | ------- required by this bound in `is_my_trait`
...
LL | is_my_trait::<ThisImplsUnsafeTrait>();
| ^^^^^^^^^^^^^^^^^^^^ the trait `MyTrait` is not implemented for `ThisImplsUnsafeTrait`
--> $DIR/typeck-default-trait-impl-negation.rs:25:26
|
LL | fn is_my_unsafe_trait<T: MyUnsafeTrait>() {}
- | ------------------ ------------- required by this bound in `is_my_unsafe_trait`
+ | ------------- required by this bound in `is_my_unsafe_trait`
...
LL | is_my_unsafe_trait::<ThisImplsTrait>();
| ^^^^^^^^^^^^^^ the trait `MyUnsafeTrait` is not implemented for `ThisImplsTrait`
--> $DIR/typeck-default-trait-impl-precedence.rs:19:5
|
LL | fn is_defaulted<T:Defaulted>() { }
- | ------------ --------- required by this bound in `is_defaulted`
+ | --------- required by this bound in `is_defaulted`
...
LL | is_defaulted::<&'static u32>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Signed` is not implemented for `u32`
| ^ `T` cannot be sent between threads safely
...
LL | fn is_send<T:Send>() {
- | ------- ---- required by this bound in `is_send`
+ | ---- required by this bound in `is_send`
|
= help: the trait `std::marker::Send` is not implemented for `T`
help: consider restricting type parameter `T`
--> $DIR/typeck-unsafe-always-share.rs:19:10
|
LL | fn test<T: Sync>(s: T) {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test(us);
| ^^ `std::cell::UnsafeCell<MySync<{integer}>>` cannot be shared between threads safely
--> $DIR/typeck-unsafe-always-share.rs:23:10
|
LL | fn test<T: Sync>(s: T) {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test(uns);
| ^^^ `std::cell::UnsafeCell<NoSync>` cannot be shared between threads safely
--> $DIR/typeck-unsafe-always-share.rs:27:5
|
LL | fn test<T: Sync>(s: T) {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test(ms);
| ^^^^ `std::cell::UnsafeCell<NoSync>` cannot be shared between threads safely
--> $DIR/typeck-unsafe-always-share.rs:30:10
|
LL | fn test<T: Sync>(s: T) {}
- | ---- ---- required by this bound in `test`
+ | ---- required by this bound in `test`
...
LL | test(NoSync);
| ^^^^^^ `NoSync` cannot be shared between threads safely
--> $DIR/unboxed-closure-sugar-default.rs:21:5
|
LL | fn eq<A: ?Sized,B: ?Sized>() where A : Eq<B> { }
- | -- ----- required by this bound in `eq`
+ | ----- required by this bound in `eq`
...
LL | eq::<dyn Foo<(isize,), isize, Output=()>, dyn Foo(isize)>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Eq<dyn Foo<(isize,), Output = ()>>` is not implemented for `dyn Foo<(isize,), isize, Output = ()>`
--> $DIR/unboxed-closure-sugar-equiv.rs:43:5
|
LL | fn eq<A: ?Sized,B: ?Sized +Eq<A>>() { }
- | -- ----- required by this bound in `eq`
+ | ----- required by this bound in `eq`
...
LL | / eq::< dyn Foo<(),Output=()>,
LL | | dyn Foo(char) >();
--> $DIR/unboxed-closures-fnmut-as-fn.rs:28:21
|
LL | fn call_it<F:Fn(isize)->isize>(f: &F, x: isize) -> isize {
- | ------- ---------------- required by this bound in `call_it`
+ | ---------------- required by this bound in `call_it`
...
LL | let x = call_it(&S, 22);
| ^^ expected an `Fn<(isize,)>` closure, found `S`
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:12:21
|
LL | fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
- | ------- ----------------- required by this bound in `call_it`
+ | ----------------- required by this bound in `call_it`
...
LL | let x = call_it(&square, 22);
| ^^^^^^^ expected an `Fn<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:12:21
|
LL | fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
- | ------- ----- required by this bound in `call_it`
+ | ----- required by this bound in `call_it`
...
LL | let x = call_it(&square, 22);
| ^^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:18:25
|
LL | fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
- | ----------- -------------------- required by this bound in `call_it_mut`
+ | -------------------- required by this bound in `call_it_mut`
...
LL | let y = call_it_mut(&mut square, 22);
| ^^^^^^^^^^^ expected an `FnMut<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:18:25
|
LL | fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
- | ----------- ----- required by this bound in `call_it_mut`
+ | ----- required by this bound in `call_it_mut`
...
LL | let y = call_it_mut(&mut square, 22);
| ^^^^^^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:24:26
|
LL | fn call_it_once<F:FnOnce(&isize)->isize>(_: F, _: isize) -> isize { 0 }
- | ------------ ----- required by this bound in `call_it_once`
+ | ----- required by this bound in `call_it_once`
...
LL | let z = call_it_once(square, 22);
| ^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-abi.rs:12:21
|
LL | fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
- | ------- ----------------- required by this bound in `call_it`
+ | ----------------- required by this bound in `call_it`
...
LL | let x = call_it(&square, 22);
| ^^^^^^^ expected an `Fn<(&isize,)>` closure, found `for<'r> extern "C" fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-abi.rs:12:21
|
LL | fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
- | ------- ----- required by this bound in `call_it`
+ | ----- required by this bound in `call_it`
...
LL | let x = call_it(&square, 22);
| ^^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> extern "C" fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-abi.rs:18:25
|
LL | fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
- | ----------- -------------------- required by this bound in `call_it_mut`
+ | -------------------- required by this bound in `call_it_mut`
...
LL | let y = call_it_mut(&mut square, 22);
| ^^^^^^^^^^^ expected an `FnMut<(&isize,)>` closure, found `for<'r> extern "C" fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-abi.rs:18:25
|
LL | fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
- | ----------- ----- required by this bound in `call_it_mut`
+ | ----- required by this bound in `call_it_mut`
...
LL | let y = call_it_mut(&mut square, 22);
| ^^^^^^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> extern "C" fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-abi.rs:24:26
|
LL | fn call_it_once<F:FnOnce(&isize)->isize>(_: F, _: isize) -> isize { 0 }
- | ------------ ----- required by this bound in `call_it_once`
+ | ----- required by this bound in `call_it_once`
...
LL | let z = call_it_once(square, 22);
| ^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> extern "C" fn(&'r isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:13:21
|
LL | fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
- | ------- ----------------- required by this bound in `call_it`
+ | ----------------- required by this bound in `call_it`
...
LL | let x = call_it(&square, 22);
| ^^^^^^^ expected an `Fn<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:13:21
|
LL | fn call_it<F:Fn(&isize)->isize>(_: &F, _: isize) -> isize { 0 }
- | ------- ----- required by this bound in `call_it`
+ | ----- required by this bound in `call_it`
...
LL | let x = call_it(&square, 22);
| ^^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:19:25
|
LL | fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
- | ----------- -------------------- required by this bound in `call_it_mut`
+ | -------------------- required by this bound in `call_it_mut`
...
LL | let y = call_it_mut(&mut square, 22);
| ^^^^^^^^^^^ expected an `FnMut<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:19:25
|
LL | fn call_it_mut<F:FnMut(&isize)->isize>(_: &mut F, _: isize) -> isize { 0 }
- | ----------- ----- required by this bound in `call_it_mut`
+ | ----- required by this bound in `call_it_mut`
...
LL | let y = call_it_mut(&mut square, 22);
| ^^^^^^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:25:26
|
LL | fn call_it_once<F:FnOnce(&isize)->isize>(_: F, _: isize) -> isize { 0 }
- | ------------ ----- required by this bound in `call_it_once`
+ | ----- required by this bound in `call_it_once`
...
LL | let z = call_it_once(square, 22);
| ^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
--> $DIR/unsized-bare-typaram.rs:2:29
|
LL | fn bar<T: Sized>() { }
- | --- - required by this bound in `bar`
+ | - required by this bound in `bar`
LL | fn foo<T: ?Sized>() { bar::<T>() }
| - ^ doesn't have a size known at compile-time
| |
--> $DIR/unsized-enum.rs:6:36
|
LL | enum Foo<U> { FooSome(U), FooNone }
- | --- - required by this bound in `Foo`
+ | - required by this bound in `Foo`
LL | fn foo1<T>() { not_sized::<Foo<T>>() } // Hunky dory.
LL | fn foo2<T: ?Sized>() { not_sized::<Foo<T>>() }
| - ^^^^^^ doesn't have a size known at compile-time
--> $DIR/unsized-inherent-impl-self-type.rs:7:17
|
LL | struct S5<Y>(Y);
- | -- - required by this bound in `S5`
+ | - required by this bound in `S5`
LL |
LL | impl<X: ?Sized> S5<X> {
| - ^^^^^ doesn't have a size known at compile-time
--> $DIR/unsized-struct.rs:6:36
|
LL | struct Foo<T> { data: T }
- | --- - required by this bound in `Foo`
+ | - required by this bound in `Foo`
LL | fn foo1<T>() { not_sized::<Foo<T>>() } // Hunky dory.
LL | fn foo2<T: ?Sized>() { not_sized::<Foo<T>>() }
| - ^^^^^^ doesn't have a size known at compile-time
--> $DIR/unsized-struct.rs:13:24
|
LL | fn is_sized<T:Sized>() { }
- | -------- - required by this bound in `is_sized`
+ | - required by this bound in `is_sized`
...
LL | fn bar2<T: ?Sized>() { is_sized::<Bar<T>>() }
| - ^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
--> $DIR/unsized-trait-impl-self-type.rs:10:17
|
LL | struct S5<Y>(Y);
- | -- - required by this bound in `S5`
+ | - required by this bound in `S5`
LL |
LL | impl<X: ?Sized> T3<X> for S5<X> {
| - ^^^^^ doesn't have a size known at compile-time
| ^ doesn't have a size known at compile-time
...
LL | fn f2<X>(x: &X) {
- | -- - required by this bound in `f2`
+ | - required by this bound in `f2`
|
= help: the trait `std::marker::Sized` is not implemented for `X`
= note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
| ^ doesn't have a size known at compile-time
...
LL | fn f4<X: T>(x: &X) {
- | -- - required by this bound in `f4`
+ | - required by this bound in `f4`
|
= help: the trait `std::marker::Sized` is not implemented for `X`
= note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
--> $DIR/unsized3.rs:33:8
|
LL | fn f5<Y>(x: &Y) {}
- | -- - required by this bound in `f5`
+ | - required by this bound in `f5`
...
LL | fn f8<X: ?Sized>(x1: &S<X>, x2: &S<X>) {
| - this type parameter needs to be `std::marker::Sized`
--> $DIR/unsized3.rs:45:8
|
LL | fn f5<Y>(x: &Y) {}
- | -- - required by this bound in `f5`
+ | - required by this bound in `f5`
...
LL | fn f10<X: ?Sized>(x1: Box<S<X>>) {
| - this type parameter needs to be `std::marker::Sized`
--> $DIR/wf-const-type.rs:10:12
|
LL | struct IsCopy<T:Copy> { t: T }
- | ------ ---- required by this bound in `IsCopy`
+ | ---- required by this bound in `IsCopy`
...
LL | const FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `NotCopy`
--> $DIR/wf-enum-bound.rs:10:14
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
...
LL | where T: ExtraCopy<U>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
--> $DIR/wf-enum-fields-struct-variant.rs:13:9
|
LL | struct IsCopy<T:Copy> {
- | ------ ---- required by this bound in `IsCopy`
+ | ---- required by this bound in `IsCopy`
...
LL | f: IsCopy<A>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `A`
--> $DIR/wf-enum-fields.rs:12:17
|
LL | struct IsCopy<T:Copy> {
- | ------ ---- required by this bound in `IsCopy`
+ | ---- required by this bound in `IsCopy`
...
LL | SomeVariant(IsCopy<A>)
| ^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `A`
--> $DIR/wf-fn-where-clause.rs:8:24
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
LL |
LL | fn foo<T,U>() where T: ExtraCopy<U>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
| ^^^^^^^^^^^^^ doesn't have a size known at compile-time
...
LL | struct Vec<T> {
- | --- - required by this bound in `Vec`
+ | - required by this bound in `Vec`
|
= help: the trait `std::marker::Sized` is not implemented for `(dyn std::marker::Copy + 'static)`
= note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
--> $DIR/wf-impl-associated-type-trait.rs:17:5
|
LL | pub struct MySet<T:MyHash> {
- | ----- ------ required by this bound in `MySet`
+ | ------ required by this bound in `MySet`
...
LL | type Bar = MySet<T>;
| ^^^^^^^^^^^^^^^^^^^^ the trait `MyHash` is not implemented for `T`
--> $DIR/wf-in-fn-arg.rs:10:14
|
LL | struct MustBeCopy<T:Copy> {
- | ---------- ---- required by this bound in `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | fn bar<T>(_: &MustBeCopy<T>)
| ^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/wf-in-fn-ret.rs:10:16
|
LL | struct MustBeCopy<T:Copy> {
- | ---------- ---- required by this bound in `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | fn bar<T>() -> MustBeCopy<T>
| ^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/wf-in-fn-type-arg.rs:9:5
|
LL | struct MustBeCopy<T:Copy> {
- | ---------- ---- required by this bound in `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | x: fn(MustBeCopy<T>)
| ^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/wf-in-fn-type-ret.rs:9:5
|
LL | struct MustBeCopy<T:Copy> {
- | ---------- ---- required by this bound in `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | x: fn() -> MustBeCopy<T>
| ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/wf-in-fn-where-clause.rs:10:14
|
LL | trait MustBeCopy<T:Copy> {
- | ---------- ---- required by this bound in `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | where T: MustBeCopy<U>
| ^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
--> $DIR/wf-in-obj-type-trait.rs:11:5
|
LL | struct MustBeCopy<T:Copy> {
- | ---------- ---- required by this bound in `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | x: dyn Object<MustBeCopy<T>>
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/wf-inherent-impl-method-where-clause.rs:12:27
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
...
LL | fn foo(self) where T: ExtraCopy<U>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
--> $DIR/wf-inherent-impl-where-clause.rs:11:29
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
...
LL | impl<T,U> Foo<T,U> where T: ExtraCopy<U>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
--> $DIR/wf-static-type.rs:10:13
|
LL | struct IsCopy<T:Copy> { t: T }
- | ------ ---- required by this bound in `IsCopy`
+ | ---- required by this bound in `IsCopy`
...
LL | static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `NotCopy`
--> $DIR/wf-struct-bound.rs:10:14
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
...
LL | where T: ExtraCopy<U>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
--> $DIR/wf-struct-field.rs:12:5
|
LL | struct IsCopy<T:Copy> {
- | ------ ---- required by this bound in `IsCopy`
+ | ---- required by this bound in `IsCopy`
...
LL | data: IsCopy<A>
| ^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `A`
--> $DIR/wf-trait-associated-type-bound.rs:10:17
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
...
LL | type Type1: ExtraCopy<T>;
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/wf-trait-associated-type-trait.rs:11:5
|
LL | struct IsCopy<T:Copy> { x: T }
- | ------ ---- required by this bound in `IsCopy`
+ | ---- required by this bound in `IsCopy`
LL |
LL | trait SomeTrait {
| - help: consider further restricting the associated type: `where <Self as SomeTrait>::Type1: std::marker::Copy`
--> $DIR/wf-trait-bound.rs:10:14
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
...
LL | where T: ExtraCopy<U>
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `U`
--> $DIR/wf-trait-default-fn-arg.rs:11:22
|
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
- | --- -- required by this bound in `Bar`
+ | -- required by this bound in `Bar`
...
LL | fn bar(&self, x: &Bar<Self>) {
| ^^^^^^^^^^ - help: consider further restricting `Self`: `where Self: std::cmp::Eq`
--> $DIR/wf-trait-default-fn-ret.rs:11:22
|
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
- | --- -- required by this bound in `Bar`
+ | -- required by this bound in `Bar`
...
LL | fn bar(&self) -> Bar<Self> {
| ^^^^^^^^^- help: consider further restricting `Self`: `where Self: std::cmp::Eq`
--> $DIR/wf-trait-default-fn-where-clause.rs:11:31
|
LL | trait Bar<T:Eq+?Sized> { }
- | --- -- required by this bound in `Bar`
+ | -- required by this bound in `Bar`
...
LL | fn bar<A>(&self) where A: Bar<Self> {
| ^^^^^^^^^- help: consider further restricting `Self`: `, Self: std::cmp::Eq`
--> $DIR/wf-trait-fn-arg.rs:10:22
|
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
- | --- -- required by this bound in `Bar`
+ | -- required by this bound in `Bar`
...
LL | fn bar(&self, x: &Bar<Self>);
| ^^^^^^^^^^ - help: consider further restricting `Self`: `where Self: std::cmp::Eq`
--> $DIR/wf-trait-fn-ret.rs:10:22
|
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
- | --- -- required by this bound in `Bar`
+ | -- required by this bound in `Bar`
...
LL | fn bar(&self) -> &Bar<Self>;
| ^^^^^^^^^^- help: consider further restricting `Self`: `where Self: std::cmp::Eq`
--> $DIR/wf-trait-fn-where-clause.rs:10:49
|
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
- | --- -- required by this bound in `Bar`
+ | -- required by this bound in `Bar`
...
LL | fn bar(&self) where Self: Sized, Bar<Self>: Copy;
| ^^^^- help: consider further restricting `Self`: `, Self: std::cmp::Eq`
--> $DIR/wf-trait-superbound.rs:9:21
|
LL | trait ExtraCopy<T:Copy> { }
- | --------- ---- required by this bound in `ExtraCopy`
+ | ---- required by this bound in `ExtraCopy`
LL |
LL | trait SomeTrait<T>: ExtraCopy<T> {
| ^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/where-clause-constraints-are-local-for-inherent-impl.rs:13:22
|
LL | fn require_copy<T: Copy>(x: T) {}
- | ------------ ---- required by this bound in `require_copy`
+ | ---- required by this bound in `require_copy`
...
LL | require_copy(self.x);
| ^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/where-clause-constraints-are-local-for-trait-impl.rs:18:22
|
LL | fn require_copy<T: Copy>(x: T) {}
- | ------------ ---- required by this bound in `require_copy`
+ | ---- required by this bound in `require_copy`
...
LL | require_copy(self.x);
| ^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
--> $DIR/where-clauses-unsatisfied.rs:6:10
|
LL | fn equal<T>(a: &T, b: &T) -> bool where T : Eq { a == b }
- | ----- -- required by this bound in `equal`
+ | -- required by this bound in `equal`
...
LL | drop(equal(&Struct, &Struct))
| ^^^^^ the trait `std::cmp::Eq` is not implemented for `Struct`
projects / rust.git / commitdiff