mirror of
https://git.proxmox.com/git/rustc
synced 2025-08-15 11:39:59 +00:00
53 lines
2.4 KiB
Plaintext
53 lines
2.4 KiB
Plaintext
warning: impl trait in impl method captures fewer lifetimes than in trait
|
|
--> $DIR/refine-captures.rs:8:31
|
|
|
|
|
LL | fn test() -> impl Sized + use<> {}
|
|
| ^^^^^
|
|
|
|
|
= note: add `#[allow(refining_impl_trait)]` if it is intended for this to be part of the public API of this crate
|
|
= note: we are soliciting feedback, see issue #121718 <https://github.com/rust-lang/rust/issues/121718> for more information
|
|
= note: `#[warn(refining_impl_trait_internal)]` on by default
|
|
help: modify the `use<..>` bound to capture the same lifetimes that the trait does
|
|
|
|
|
LL | fn test() -> impl Sized + use<'a> {}
|
|
| ~~~~~~~
|
|
|
|
warning: impl trait in impl method captures fewer lifetimes than in trait
|
|
--> $DIR/refine-captures.rs:22:31
|
|
|
|
|
LL | fn test() -> impl Sized + use<> {}
|
|
| ^^^^^
|
|
|
|
|
= note: add `#[allow(refining_impl_trait)]` if it is intended for this to be part of the public API of this crate
|
|
= note: we are soliciting feedback, see issue #121718 <https://github.com/rust-lang/rust/issues/121718> for more information
|
|
help: modify the `use<..>` bound to capture the same lifetimes that the trait does
|
|
|
|
|
LL | fn test() -> impl Sized + use<'a> {}
|
|
| ~~~~~~~
|
|
|
|
warning: impl trait in impl method captures fewer lifetimes than in trait
|
|
--> $DIR/refine-captures.rs:27:31
|
|
|
|
|
LL | fn test() -> impl Sized + use<'b> {}
|
|
| ^^^^^^^
|
|
|
|
|
= note: add `#[allow(refining_impl_trait)]` if it is intended for this to be part of the public API of this crate
|
|
= note: we are soliciting feedback, see issue #121718 <https://github.com/rust-lang/rust/issues/121718> for more information
|
|
help: modify the `use<..>` bound to capture the same lifetimes that the trait does
|
|
|
|
|
LL | fn test() -> impl Sized + use<'a, 'b> {}
|
|
| ~~~~~~~~~~~
|
|
|
|
error: `impl Trait` must mention all type parameters in scope in `use<...>`
|
|
--> $DIR/refine-captures.rs:32:18
|
|
|
|
|
LL | impl<T> TypeParam<T> for u64 {
|
|
| - type parameter is implicitly captured by this `impl Trait`
|
|
LL | fn test() -> impl Sized + use<> {}
|
|
| ^^^^^^^^^^^^^^^^^^
|
|
|
|
|
= note: currently, all type parameters are required to be mentioned in the precise captures list
|
|
|
|
error: aborting due to 1 previous error; 3 warnings emitted
|
|
|