blob: 8ffed827e90872397daf5f74980010d195f067fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// check-pass
trait RegularExpression: Sized {
type Text;
}
struct ExecNoSyncStr<'a>(&'a u8);
impl<'c> RegularExpression for ExecNoSyncStr<'c> {
type Text = u8;
}
struct FindCaptures<'t, R>(&'t R::Text) where R: RegularExpression, R::Text: 't;
enum FindCapturesInner<'r, 't> {
Dynamic(FindCaptures<'t, ExecNoSyncStr<'r>>),
}
fn main() {}
|
