Bar.toString is typed `@system`.

Reply via email to