16 lines
364 B
Rust
16 lines
364 B
Rust
// The method `assert_static` should be callable only for static values,
|
|
// because the impl has an implied bound `where T: 'static`.
|
|
|
|
//@ check-fail
|
|
|
|
trait AnyStatic<Witness>: Sized {
|
|
fn assert_static(self) {}
|
|
}
|
|
|
|
impl<T> AnyStatic<&'static T> for T {}
|
|
|
|
fn main() {
|
|
(&String::new()).assert_static();
|
|
//~^ ERROR temporary value dropped while borrowed
|
|
}
|