summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/lazy-nested-obligations-3.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/new-solver/lazy-nested-obligations-3.rs')
-rw-r--r--tests/ui/traits/new-solver/lazy-nested-obligations-3.rs38
1 files changed, 0 insertions, 38 deletions
diff --git a/tests/ui/traits/new-solver/lazy-nested-obligations-3.rs b/tests/ui/traits/new-solver/lazy-nested-obligations-3.rs
deleted file mode 100644
index baf399572..000000000
--- a/tests/ui/traits/new-solver/lazy-nested-obligations-3.rs
+++ /dev/null
@@ -1,38 +0,0 @@
-// check-pass
-// compile-flags: -Ztrait-solver=next
-// Issue 96750
-
-use std::marker::PhantomData;
-
-trait AsyncFn<Arg> {
- type Output;
-}
-trait RequestFamily {
- type Type<'a>;
-}
-trait Service {}
-
-struct MyFn;
-impl AsyncFn<String> for MyFn {
- type Output = ();
-}
-
-impl RequestFamily for String {
- type Type<'a> = String;
-}
-
-struct ServiceFromAsyncFn<F, Req>(F, PhantomData<Req>);
-
-impl<F, Req, O> Service for ServiceFromAsyncFn<F, Req>
-where
- Req: RequestFamily,
- F: AsyncFn<Req>,
- F: for<'a> AsyncFn<Req::Type<'a>, Output = O>,
-{
-}
-
-fn assert_service() -> impl Service {
- ServiceFromAsyncFn(MyFn, PhantomData)
-}
-
-fn main() {}