diff --git a/ices/79590.rs b/ices/79590.rs
new file mode 100644
index 00000000..000fe215
--- /dev/null
+++ b/ices/79590.rs
@@ -0,0 +1,17 @@
+trait Database: Restriction<Inner = u32> {}
+
+trait Restriction {
+    type Inner;
+}
+
+struct Test {}
+
+impl Database for Test {}
+impl Restriction for Test {
+    type Inner = u32;
+}
+
+fn main() {
+    let t = Test {};
+    let x: &Database<Inner = _> = &t;
+}