blob: d26ca5c3ead38cdc045ff6db63621571db69589a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#![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() {}
|