txt: ## typecheck.md
  class X::TypeCheck
  
  Error due to a failed type check
  
  ```raku
  class X::TypeCheck is Exception { }
  ```
  
  Error class thrown when a type check fails.
  
  # [Methods](#class_X::TypeCheck "go to top of document")[§](#Methods "direct link")
  
  ## [method operation](#class_X::TypeCheck "go to top of document")[§](#method_operation "direct link")
  
  ```raku
  method operation(--> Str:D)
  ```
  
  Returns a string description of the operation that failed, for example `"assignment"`, `"binding"`, `"return"`.
  
  ## [method got](#class_X::TypeCheck "go to top of document")[§](#method_got "direct link")
  
  ```raku
  method got()
  ```
  
  Returns the object that failed to type check
  
  ## [method expected](#class_X::TypeCheck "go to top of document")[§](#method_expected "direct link")
  
  ```raku
  method expected()
  ```
  
  Returns the type object against which the check failed.
  