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