add rust-lang/rust#88599

Author: matthiaskrgr

ices/88599.sh

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+rustc --crate-type lib - << EOF
+
+pub trait First {
+    const CONST: bool;
+}
+pub trait Second {}
+
+impl<'a> First for dyn Second where &'a Self: First {
+    const CONST: bool = <&Self>::CONST;
+}
+
+pub trait Foo {
+    const CONST: bool;
+}
+
+impl <'a> Foo for () where &'a Self: Foo {
+    const CONST: bool = <&Self>::CONST;
+}
+
+EOF