diff options
Diffstat (limited to 'src/test/ui/issues/issue-54302.rs')
-rw-r--r-- | src/test/ui/issues/issue-54302.rs | 19 |
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>(); -} |