1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
// Regression test for #130956
#![feature(type_alias_impl_trait)]
pub type OpaqueBlock = impl Trait;
//~^ ERROR unconstrained opaque type
pub type OpaqueIf = impl Trait;
pub struct BlockWrapper(OpaqueBlock);
pub struct IfWrapper(pub OpaqueIf);
#[define_opaque(OpaqueIf)]
pub fn if_impl() -> Parser<OpaqueIf> {
bind(option(block()), |_| block())
}
pub trait Trait {
type Assoc;
}
pub struct Parser<P>(P);
pub struct Bind<P, F>(P, F);
impl<P, F> Trait for Bind<P, F> {
type Assoc = ();
}
impl Trait for BlockWrapper {
type Assoc = ();
}
impl Trait for IfWrapper {
type Assoc = ();
}
pub fn block() -> Parser<BlockWrapper> {
loop {}
}
pub fn option<P: Trait>(arg: Parser<P>) -> Parser<impl Trait> {
bind(arg, |_| block())
}
fn bind<P: Trait, P2, F: Fn(P::Assoc) -> Parser<P2>>(_: Parser<P>, _: F) -> Parser<Bind<P, F>> {
loop {}
}
fn main() {
if_impl().0;
}
|
