1 files changed, 12 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-18173.rs b/tests/ui/issues/issue-18173.rs
new file mode 100644
index 000000000..11468040e
--- /dev/null
+++ b/tests/ui/issues/issue-18173.rs
@@ -0,0 +1,12 @@
+// run-pass
+trait Foo {
+    type T;
+}
+
+// should be able to use a trait with an associated type without specifying it as an argument
+trait Bar<F: Foo> {
+    fn bar(foo: &F);
+}
+
+pub fn main() {
+}