| // Test that directly specializing on `'static` is not allowed. | |
| #![feature(min_specialization)] | |
| trait X { | |
| fn f(); | |
| } | |
| impl<T> X for &'_ T { | |
| default fn f() {} | |
| } | |
| impl X for &'static u8 { | |
| //~^ ERROR cannot specialize on `'static` lifetime | |
| fn f() {} | |
| } | |
| fn main() {} |