Merge pull request #20 from dtolnay/assoc

Add ui test for use of associated type in signature

Author: dtolnay

tests/ui/associated-type.rs

@@ -0,0 +1,18 @@
+use inherent::inherent;
+
+pub trait Trait {
+    type Assoc;
+    fn f() -> Self::Assoc;
+}
+
+pub struct Struct;
+
+#[inherent]
+impl Trait for Struct {
+    type Assoc = ();
+
+    // TODO: https://github.com/dtolnay/inherent/issues/15
+    fn f() -> Self::Assoc {}
+}
+
+fn main() {}

tests/ui/associated-type.stderr

@@ -0,0 +1,5 @@
+error[E0223]: ambiguous associated type
+  --> tests/ui/associated-type.rs:15:15
+   |
+15 |     fn f() -> Self::Assoc {}
+   |               ^^^^^^^^^^^ help: use the fully-qualified path: `<Struct as Trait>::Assoc`