mirror of
https://github.com/rust-lang/rust-analyzer
synced 2024-12-26 13:03:31 +00:00
Coerce closures to fn pointers
E.g. `let x: fn(A) -> B = |x| { y };`
This commit is contained in:
parent
1d7931e5ff
commit
44b00aed4a
3 changed files with 48 additions and 5 deletions
|
@ -134,6 +134,10 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
|
|||
}
|
||||
}
|
||||
|
||||
(ty_app!(TypeCtor::Closure { .. }, params), ty_app!(TypeCtor::FnPtr { .. })) => {
|
||||
from_ty = params[0].clone();
|
||||
}
|
||||
|
||||
_ => {}
|
||||
}
|
||||
|
||||
|
|
|
@ -487,3 +487,42 @@ fn foo() {
|
|||
"###
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn coerce_fn_item_to_fn_ptr() {
|
||||
assert_snapshot!(
|
||||
infer_with_mismatches(r#"
|
||||
fn foo(x: u32) -> isize { 1 }
|
||||
fn test() {
|
||||
let f: fn(u32) -> isize = foo;
|
||||
}
|
||||
"#, true),
|
||||
@r###"
|
||||
[8; 9) 'x': u32
|
||||
[25; 30) '{ 1 }': isize
|
||||
[27; 28) '1': isize
|
||||
[41; 79) '{ ...foo; }': ()
|
||||
[51; 52) 'f': fn(u32) -> isize
|
||||
[73; 76) 'foo': fn foo(u32) -> isize
|
||||
"###
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn coerce_closure_to_fn_ptr() {
|
||||
assert_snapshot!(
|
||||
infer_with_mismatches(r#"
|
||||
fn test() {
|
||||
let f: fn(u32) -> isize = |x| { 1 };
|
||||
}
|
||||
"#, true),
|
||||
@r###"
|
||||
[11; 55) '{ ...1 }; }': ()
|
||||
[21; 22) 'f': fn(u32) -> isize
|
||||
[43; 52) '|x| { 1 }': |u32| -> isize
|
||||
[44; 45) 'x': u32
|
||||
[47; 52) '{ 1 }': isize
|
||||
[49; 50) '1': isize
|
||||
"###
|
||||
);
|
||||
}
|
||||
|
|
|
@ -393,11 +393,11 @@ fn test() -> u64 {
|
|||
[54; 55) 'a': S
|
||||
[58; 59) 'S': S(fn(u32) -> u64) -> S
|
||||
[58; 68) 'S(|i| 2*i)': S
|
||||
[60; 67) '|i| 2*i': |i32| -> i32
|
||||
[61; 62) 'i': i32
|
||||
[64; 65) '2': i32
|
||||
[64; 67) '2*i': i32
|
||||
[66; 67) 'i': i32
|
||||
[60; 67) '|i| 2*i': |u32| -> u64
|
||||
[61; 62) 'i': u32
|
||||
[64; 65) '2': u32
|
||||
[64; 67) '2*i': u32
|
||||
[66; 67) 'i': u32
|
||||
[78; 79) 'b': u64
|
||||
[82; 83) 'a': S
|
||||
[82; 85) 'a.0': fn(u32) -> u64
|
||||
|
|
Loading…
Reference in a new issue