user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove duplicate of tests/ui/impl-trait/nested-return-type2-tait2.rs

Browse source
This commit is contained in:
Oli Scherer 2024-06-27 11:10:55 +00:00
parent cf9bcb26a6
commit 10a513bacc
2 changed files with 0 additions and 42 deletions
Download patch file Download diff file Expand all files Collapse all files

29
tests/ui/type-alias-impl-trait/tait-in-function-return-type-issue-101903.rs
View file

@ -1,29 +0,0 @@
//@ check-pass
// See https://doc.rust-lang.org/1.77.0/nightly-rustc/rustc_lint/opaque_hidden_inferred_bound/static.OPAQUE_HIDDEN_INFERRED_BOUND.html#example
#![feature(type_alias_impl_trait)]
#![allow(dead_code)]
trait Duh {}
impl Duh for i32 {}
trait Trait {
type Assoc: Duh;
}
impl<R: Duh, F: FnMut() -> R> Trait for F {
type Assoc = R;
}
type Sendable = impl Send;
type Foo = impl Trait<Assoc = Sendable>;
//~^ WARNING opaque type `Foo` does not satisfy its associated type bounds
fn foo() -> Foo {
|| 42
}
fn main() {}

13
tests/ui/type-alias-impl-trait/tait-in-function-return-type-issue-101903.stderr
View file

@ -1,13 +0,0 @@
warning: opaque type `Foo` does not satisfy its associated type bounds
--> $DIR/tait-in-function-return-type-issue-101903.rs:22:23
|
LL | type Assoc: Duh;
| --- this associated type bound is unsatisfied for `Sendable`
...
LL | type Foo = impl Trait<Assoc = Sendable>;
| ^^^^^^^^^^^^^^^^
|
= note: `#[warn(opaque_hidden_inferred_bound)]` on by default
warning: 1 warning emitted