type error

  1. REDIRECT Type_system#Type_errors

{{R to section}}