1 files changed, 37 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-19404.rs b/tests/ui/issues/issue-19404.rs
new file mode 100644
index 000000000..f1cf1feb0
--- /dev/null
+++ b/tests/ui/issues/issue-19404.rs
@@ -0,0 +1,37 @@
+// build-pass
+#![allow(dead_code)]
+#![allow(unused_variables)]
+use std::any::TypeId;
+use std::rc::Rc;
+
+type Fp<T> = Rc<T>;
+
+struct Engine;
+
+trait Component: 'static {}
+impl Component for Engine {}
+
+trait Env {
+    fn get_component_type_id(&self, type_id: TypeId) -> Option<Fp<dyn Component>>;
+}
+
+impl<'a> dyn Env + 'a {
+    fn get_component<T: Component>(&self) -> Option<Fp<T>> {
+        let x = self.get_component_type_id(TypeId::of::<T>());
+        None
+    }
+}
+
+trait Figment {
+    fn init(&mut self, env: &dyn Env);
+}
+
+struct MyFigment;
+
+impl Figment for MyFigment {
+    fn init(&mut self, env: &dyn Env) {
+        let engine = env.get_component::<Engine>();
+    }
+}
+
+fn main() {}