summaryrefslogtreecommitdiffstats
path: root/tests/ui/chalkify/generic_impls.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/chalkify/generic_impls.rs')
-rw-r--r--tests/ui/chalkify/generic_impls.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/tests/ui/chalkify/generic_impls.rs b/tests/ui/chalkify/generic_impls.rs
deleted file mode 100644
index 7d33e12d8..000000000
--- a/tests/ui/chalkify/generic_impls.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// compile-flags: -Z trait-solver=chalk
-
-trait Foo { }
-
-impl<T> Foo for (T, u32) { }
-
-fn gimme<F: Foo>() { }
-
-fn foo<T>() {
- gimme::<(T, u32)>();
- gimme::<(Option<T>, u32)>();
- gimme::<(Option<T>, f32)>(); //~ ERROR
-}
-
-fn main() {
- gimme::<(i32, u32)>();
- gimme::<(i32, f32)>(); //~ ERROR
-}