Skip to content

Commit c39150a

Browse files
Updates safety tests of collect_traces function
1 parent 7e50f7b commit c39150a

File tree

1 file changed

+26
-4
lines changed

1 file changed

+26
-4
lines changed
Lines changed: 26 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,35 @@
1-
- case: collect_traces_context_manager_return_type_hint
1+
- case: collect_traces_context_manager_return_type_one
22
disable_cache: true
33
main: |
44
from returns.primitives.tracing import collect_traces
55
6-
reveal_type(collect_traces) # N: Revealed type is 'def () -> typing.Iterator[None]'
6+
reveal_type(collect_traces) # N: Revealed type is 'Overload(def () -> typing.ContextManager[None], def [Function <: def (*Any, **Any) -> Any] (function: Function`-1) -> Function`-1)'
77
8-
- case: collect_traces_context_manager_return_type
8+
- case: collect_traces_context_manager_return_type_two
99
disable_cache: true
1010
main: |
1111
from returns.primitives.tracing import collect_traces
1212
13-
reveal_type(collect_traces()) # N: Revealed type is 'typing.Iterator[None]'
13+
reveal_type(collect_traces()) # N: Revealed type is 'typing.ContextManager[None]'
14+
15+
- case: collect_traces_decorated_function_return_type
16+
disable_cache: true
17+
main: |
18+
from returns.primitives.tracing import collect_traces
19+
20+
@collect_traces
21+
def function() -> int:
22+
return 0
23+
24+
reveal_type(function) # N: Revealed type is 'def () -> builtins.int'
25+
26+
- case: collect_traces_decorated_function_with_argument_return_type
27+
disable_cache: true
28+
main: |
29+
from returns.primitives.tracing import collect_traces
30+
31+
@collect_traces
32+
def function(number: int) -> str:
33+
return str(number)
34+
35+
reveal_type(function) # N: Revealed type is 'def (number: builtins.int) -> builtins.str'

0 commit comments

Comments
 (0)