blob: f6cf6b21b0fa4fd2d3067f01cd0fca77f4c08f5d [file] [log] [blame]
// Check that lifetime parameters are allowed in specializing impls.
//@ check-pass
#![feature(min_specialization)]
trait MySpecTrait {
fn f();
}
impl<T> MySpecTrait for T {
default fn f() {}
}
impl<'a, T: ?Sized> MySpecTrait for &'a T {
fn f() {}
}
fn main() {}