summaryrefslogtreecommitdiffstats
path: root/src/test/ui/builtin-superkinds/builtin-superkinds-typaram.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/builtin-superkinds/builtin-superkinds-typaram.rs')
-rw-r--r--src/test/ui/builtin-superkinds/builtin-superkinds-typaram.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/builtin-superkinds/builtin-superkinds-typaram.rs b/src/test/ui/builtin-superkinds/builtin-superkinds-typaram.rs
new file mode 100644
index 000000000..f999dfff7
--- /dev/null
+++ b/src/test/ui/builtin-superkinds/builtin-superkinds-typaram.rs
@@ -0,0 +1,11 @@
+// run-pass
+// Tests correct implementation of traits with super-builtin-kinds
+// using a bounded type parameter.
+
+// pretty-expanded FIXME #23616
+
+trait Foo : Send { }
+
+impl <T: Send> Foo for T { }
+
+pub fn main() { }