text: # This sample validates that the type checker properly
  # specializes a type for an unbound method (in this case,
  # the "keys" method on "dict") based on the provided "self"
  # argument.
  
  from typing import Dict, Literal
  
  foo: Dict[str, str] = {}
  
  # This should not result in an "Unknown", so no
  # error should be generated.
  result = dict.keys(foo)
  t1: Literal["KeysView[Unknown]"] = reveal_type(result)
  