about summary refs log tree commit diff
path: root/src/test/rustdoc-ui
diff options
context:
space:
mode:
authorJ. Ryan Stinnett <jryans@gmail.com>2021-01-28 22:03:20 +0000
committerJ. Ryan Stinnett <jryans@gmail.com>2021-01-30 14:23:50 +0000
commit7e3217845dc5dea331b26efb2bf51b60afae2082 (patch)
treec40c88774ac954d5b09f55aee3b820c53d45c3e5 /src/test/rustdoc-ui
parent7ce1b3b24491cbe10669cbe2b5733c2fe7cfe5b7 (diff)
downloadrust-7e3217845dc5dea331b26efb2bf51b60afae2082.tar.gz
rust-7e3217845dc5dea331b26efb2bf51b60afae2082.zip
Balance sidebar `Deref` cycle check with main content
The `Deref` cycle checks added as part of #80653 were "unbalanced" in the sense
that the main content code path checks for cycles _before_ descending, while the
sidebar checks _after_. Checking _before_ is correct, so this changes the
sidebar path to match the main content path.
Diffstat (limited to 'src/test/rustdoc-ui')
-rw-r--r--src/test/rustdoc-ui/deref-generic.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/rustdoc-ui/deref-generic.rs b/src/test/rustdoc-ui/deref-generic.rs
new file mode 100644
index 00000000000..bc64beb1b93
--- /dev/null
+++ b/src/test/rustdoc-ui/deref-generic.rs
@@ -0,0 +1,15 @@
+// check-pass
+// #81395: Fix ICE when recursing into Deref target only differing in type args
+
+pub struct Generic<T>(T);
+
+impl<'a> std::ops::Deref for Generic<&'a mut ()> {
+    type Target = Generic<&'a ()>;
+    fn deref(&self) -> &Self::Target {
+        unimplemented!()
+    }
+}
+
+impl<'a> Generic<&'a ()> {
+    pub fn some_method(&self) {}
+}