blob: eb4860e75d758feeb266a657adb09c44ecaffa79 (
plain)
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
|
// check-fail
// known-bug: #47511
// Regression test for #47511: anonymous lifetimes can appear
// unconstrained in a return type, but only if they appear just once
// in the input, as the input to a projection.
fn f(_: X) -> X {
unimplemented!()
}
fn g<'a>(_: X<'a>) -> X<'a> {
unimplemented!()
}
type X<'a> = <&'a () as Trait>::Value;
trait Trait {
type Value;
}
impl<'a> Trait for &'a () {
type Value = ();
}
fn main() {}
|
