starlark 0.13.0

An implementation of the Starlark language in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

# @generated
# To regenerate, run:
# ```
# STARLARK_RUST_REGENERATE_GOLDEN_TESTS=1 cargo test -p starlark --lib
# ```

Code:
def accept_f(x: typing.Callable[[int, str], str]):
    pass

def good_function(x: int, y: str) -> str:
    return ""

def bad_function(x: int, y: bool) -> str:
    return ""

def test():
    accept_f(good_function)
    accept_f(bad_function)

Error:
error: Expected type `typing.Callable[[int, str], str]` but got `def(x: int, y: bool) -> str`
  --> filename:13:14
   |
13 |     accept_f(bad_function)
   |              ^^^^^^^^^^^^
   |

Compiler typechecker (eval):
error: Expected type `typing.Callable[[int, str], str]` but got `def(x: int, y: bool) -> str`
  --> filename:13:14
   |
13 |     accept_f(bad_function)
   |              ^^^^^^^^^^^^
   |