1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-constant-type.rs b/src/test/ui/associated-types/associated-types-constant-type.rs
new file mode 100644
index 000000000..1e4c113a5
--- /dev/null
+++ b/src/test/ui/associated-types/associated-types-constant-type.rs
@@ -0,0 +1,31 @@
+// run-pass
+
+trait SignedUnsigned {
+    type Opposite;
+    fn convert(self) -> Self::Opposite;
+}
+
+impl SignedUnsigned for isize {
+    type Opposite = usize;
+
+    fn convert(self) -> usize {
+        self as usize
+    }
+}
+
+impl SignedUnsigned for usize {
+    type Opposite = isize;
+
+    fn convert(self) -> isize {
+        self as isize
+    }
+}
+
+fn get(x: isize) -> <isize as SignedUnsigned>::Opposite {
+    x.convert()
+}
+
+fn main() {
+    let x = get(22);
+    assert_eq!(22, x);
+}