yothinix · March 1, 2018 15:04
diff --git a/type_inference.py b/type_inference.py
 def f(l: List[str]) -> None:
  s = l.pop() # reveal_type(s) -> str
  
 def g(message: str = None) -> None:
  if message is None:
    return
  reveal_type(message)  # -> str
	def f(l: List[str]) -> None:
	s = l.pop() # reveal_type(s) -> str

	def g(message: str = None) -> None:
	if message is None:
	return
	reveal_type(message) # -> str