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