diff options
| author | Florian Diebold <[email protected]> | 2019-12-20 17:53:40 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-20 17:54:33 +0000 |
| commit | 44b00aed4a7d7e329fcbfa95a8685437cfb06e41 (patch) | |
| tree | 0b00ef7d63064a4f60e03427abf0803bb17b4596 /crates/ra_hir_ty/src/tests/traits.rs | |
| parent | 1d7931e5ffeb2d65ebcc14a63da1b84cc131bfb8 (diff) | |
Coerce closures to fn pointers
E.g. `let x: fn(A) -> B = |x| { y };`
Diffstat (limited to 'crates/ra_hir_ty/src/tests/traits.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/tests/traits.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/crates/ra_hir_ty/src/tests/traits.rs b/crates/ra_hir_ty/src/tests/traits.rs index 2d92a5eec..76e2198b6 100644 --- a/crates/ra_hir_ty/src/tests/traits.rs +++ b/crates/ra_hir_ty/src/tests/traits.rs | |||
| @@ -393,11 +393,11 @@ fn test() -> u64 { | |||
| 393 | [54; 55) 'a': S | 393 | [54; 55) 'a': S |
| 394 | [58; 59) 'S': S(fn(u32) -> u64) -> S | 394 | [58; 59) 'S': S(fn(u32) -> u64) -> S |
| 395 | [58; 68) 'S(|i| 2*i)': S | 395 | [58; 68) 'S(|i| 2*i)': S |
| 396 | [60; 67) '|i| 2*i': |i32| -> i32 | 396 | [60; 67) '|i| 2*i': |u32| -> u64 |
| 397 | [61; 62) 'i': i32 | 397 | [61; 62) 'i': u32 |
| 398 | [64; 65) '2': i32 | 398 | [64; 65) '2': u32 |
| 399 | [64; 67) '2*i': i32 | 399 | [64; 67) '2*i': u32 |
| 400 | [66; 67) 'i': i32 | 400 | [66; 67) 'i': u32 |
| 401 | [78; 79) 'b': u64 | 401 | [78; 79) 'b': u64 |
| 402 | [82; 83) 'a': S | 402 | [82; 83) 'a': S |
| 403 | [82; 85) 'a.0': fn(u32) -> u64 | 403 | [82; 85) 'a.0': fn(u32) -> u64 |