1 // Unit test for the "user substitutions" that are annotated on each
13 SomeEnum
::SomeVariant(&c
);
16 fn annot_underscore() {
18 SomeEnum
::SomeVariant
::<_
>(&c
);
21 fn annot_reference_any_lifetime() {
23 SomeEnum
::SomeVariant
::<&u32>(&c
);
26 fn annot_reference_static_lifetime() {
28 SomeEnum
::SomeVariant
::<&'
static u32>(&c
); //~ ERROR
31 fn annot_reference_named_lifetime
<'a
>(_d
: &'a
u32) {
33 SomeEnum
::SomeVariant
::<&'a
u32>(&c
); //~ ERROR
36 fn annot_reference_named_lifetime_ok
<'a
>(c
: &'a
u32) {
37 SomeEnum
::SomeVariant
::<&'a
u32>(c
);
40 fn annot_reference_named_lifetime_in_closure
<'a
>(_
: &'a
u32) {
43 SomeEnum
::SomeVariant
::<&'a
u32>(&c
); //~ ERROR
47 fn annot_reference_named_lifetime_in_closure_ok
<'a
>(c
: &'a
u32) {
49 SomeEnum
::SomeVariant
::<&'a
u32>(c
);