blob: 0ee738c2c2f3938497fc0954464b2c4b5a7e8f60 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// build-pass (FIXME(62277): could be check-pass?)
fn with_closure<F, A>(_: F)
where F: FnOnce(A, &u32)
{
}
fn foo() {
// This version works; we infer `A` to be `u32`, and take the type
// of `y` to be `&u32`.
with_closure(|x: u32, y| {});
}
fn bar() {
// This version also works.
with_closure(|x: &u32, y| {});
}
fn main() { }
|
