WIP: Print types more truthfully
See #18458
I'd be interested in feedback about the changes in error messages.
Printing types more truthfully means that class method types look more complicated
See #18458
I'd be interested in feedback about the changes in error messages.
Printing types more truthfully means that class method types look more complicated