mirror of https://github.com/rust-lang/rust
23 lines
897 B
Plaintext
23 lines
897 B
Plaintext
error: cannot check whether the hidden type of `auto_trait_leakage3[211d]::m::Foo::{opaque#0}` satisfies auto traits
|
|
--> $DIR/auto-trait-leakage3.rs:13:17
|
|
|
|
|
LL | is_send(foo());
|
|
| ------- ^^^^^
|
|
| |
|
|
| required by a bound introduced by this call
|
|
|
|
|
= note: fetching the hidden types of an opaque inside of the defining scope is not supported. You can try moving the opaque type and the item that actually registers a hidden type into a new submodule
|
|
note: opaque type is declared here
|
|
--> $DIR/auto-trait-leakage3.rs:7:20
|
|
|
|
|
LL | pub type Foo = impl std::fmt::Debug;
|
|
| ^^^^^^^^^^^^^^^^^^^^
|
|
note: required by a bound in `is_send`
|
|
--> $DIR/auto-trait-leakage3.rs:17:19
|
|
|
|
|
LL | fn is_send<T: Send>(_: T) {}
|
|
| ^^^^ required by this bound in `is_send`
|
|
|
|
error: aborting due to 1 previous error
|
|
|