|
// 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:,
|
|
{}
|
|
}
|