blob: 14460dea5b5270a03e3e4f69071be2929c477260 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// check-pass
// known-bug: #101350
trait Trait {
type Ty;
}
impl Trait for &'static () {
type Ty = ();
}
fn extend<'a>() {
None::<<&'a () as Trait>::Ty>;
}
fn main() {}
|