#![feature(member_constraints)] | |
#![feature(type_alias_impl_trait)] | |
pub trait A { | |
type B; | |
fn f(&self) -> Self::B; | |
} | |
impl<'a, 'b> A for () { | |
//~^ ERROR the lifetime parameter `'a` is not constrained | |
//~| ERROR the lifetime parameter `'b` is not constrained | |
type B = impl core::fmt::Debug; | |
fn f(&self) -> Self::B {} | |
} | |
fn main() {} |