diff options
Diffstat (limited to 'src/test/ui/impl-trait/dyn-trait-elided-two-inputs-ref-param.rs')
| -rw-r--r-- | src/test/ui/impl-trait/dyn-trait-elided-two-inputs-ref-param.rs | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/impl-trait/dyn-trait-elided-two-inputs-ref-param.rs b/src/test/ui/impl-trait/dyn-trait-elided-two-inputs-ref-param.rs deleted file mode 100644 index 8d34c1b6c2a..00000000000 --- a/src/test/ui/impl-trait/dyn-trait-elided-two-inputs-ref-param.rs +++ /dev/null @@ -1,23 +0,0 @@ -// Test that `impl Alpha<dyn Object>` resets the object-lifetime -// default to `'static`. -// -// check-pass - -trait Alpha<Item: ?Sized> { - fn item(&self) -> Box<Item> { - panic!() - } -} - -trait Object {} -impl<T> Alpha<dyn Object> for T {} -fn alpha(x: &str, y: &str) -> impl Alpha<dyn Object> { () } -fn is_static<T>(_: T) where T: 'static { } - -fn bar(x: &str) -> &impl Alpha<dyn Object> { &() } - -fn main() { - let s = format!("foo"); - let r = bar(&s); - is_static(r.item()); -} |
