// run-pass | |
#![allow(unused_imports)] | |
// This test verifies that casting from the same lifetime on a value | |
// to the same lifetime on a trait succeeds. See issue #10766. | |
// pretty-expanded FIXME #23616 | |
#![allow(dead_code)] | |
use std::marker; | |
fn main() { | |
trait T { fn foo(&self) {} } | |
fn f<'a, V: T>(v: &'a V) -> &'a dyn T { | |
v as &'a dyn T | |
} | |
} |