No_Such_Method.Error cannot be displayed on types that overloaded to_display_text

[radeusgd]

Related to #6216 / #1538.

Repro

Run:

from Standard.Base import all
from Standard.Table import Value_Type

main =
    Value_Type.nonexistent

Expected result

Execution finished with an error: Method `nonexistent` of Value_Type could not be found.
        at <enso> errorinerror.main(errorinerror.enso:5:...)

Actual result

Execution finished with an error: Type error: expected `str` to be Text, but got Function.
        at <enso> No_Such_Method.to_display_text<arg-0>(C:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Errors\Common.enso:164:28-90)
        at <enso> No_Such_Method.to_display_text(C:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Errors\Common.enso:164:28-113)
        at <enso> errorinerror.main(Internal)

The No_Such_Method.Error that is raised cannot be displayed, because it calls to_display_text on Value_Type. Since that method is overridden to provide nicer display for instances of Value_Type, this call yields Value_Type.type.to_display_text[Value_Type.enso:280-611] instead of Value_Type as we'd expect.

[JaroslavTulach]

I'd start by implementing

• Type.to_text shall invoke instance method #6300

and then checked the result on this issue.

[jdunkerley]

Will be solved by #6300 so closing.