reference icon indicating copy to clipboard operation
reference copied to clipboard

Incorrect description of possible coercions for method receivers

Open afetisov opened this issue 4 years ago • 0 comments

In the list of coercions, it is claimed in the section of function arguments

For method calls, the receiver (self parameter) can only take advantage of unsized coercions.

But this isn't true, the deref coercions are also applied to the method receiver. The transitive and subtyping coercions are also applied, and there may be some other cases.

afetisov avatar Nov 29 '21 18:11 afetisov