// Here, `'a` and `'c` are late-bound and `'b`, `'d`, `T` and `N` are early-bound. | |
pub fn f<'a, 'b, 'c, 'd, T, const N: usize>(_: impl Copy) | |
where | |
'b:, | |
'd:, | |
{} | |
pub struct Ty; | |
impl Ty { | |
pub fn f<'a, 'b, 'c, 'd, T, const N: usize>(_: impl Copy) | |
where | |
'b:, | |
'd:, | |
{} | |
} |