blob: d8772e86894dffac4b06347d40b88f828c0c021b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// See #108639 for description.
// check-pass
trait Trait {
type Item<'a>: 'a;
}
fn assert_static<T: 'static>(_: T) {}
fn relate<T>(_: T, _: T) {}
fn test_args<I: Trait>() {
let closure = |a, b| {
relate(&a, b);
assert_static(a);
};
closure(None::<I::Item<'_>>, &None::<I::Item<'_>>);
}
fn main() {}
|