summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-54302.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-54302.rs')
-rw-r--r--src/test/ui/issues/issue-54302.rs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/issues/issue-54302.rs b/src/test/ui/issues/issue-54302.rs
deleted file mode 100644
index 1bfaebc38..000000000
--- a/src/test/ui/issues/issue-54302.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-trait Deserialize<'de> {}
-
-trait DeserializeOwned: for<'de> Deserialize<'de> {}
-impl<T> DeserializeOwned for T where T: for<'de> Deserialize<'de> {}
-
-// Based on this impl, `&'static str` only implements Deserialize<'static>.
-// It does not implement for<'de> Deserialize<'de>.
-impl<'de: 'a, 'a> Deserialize<'de> for &'a str {}
-
-fn main() {
- // Then why does it implement DeserializeOwned? This compiles.
- fn assert_deserialize_owned<T: DeserializeOwned>() {}
- assert_deserialize_owned::<&'static str>();
- //~^ ERROR not general enough
-
- // It correctly does not implement for<'de> Deserialize<'de>.
- //fn assert_hrtb<T: for<'de> Deserialize<'de>>() {}
- //assert_hrtb::<&'static str>();
-}