HaloO,
I wrote:
This depends on the partial order of parameter types of the
candidates. Note that this order is rooted at the actual argument
type.
I don't know if the following is obvious but I want to rant about it ;)
This partial order of the parameter types is in the case of a readonly
parameter built up from supertypes of the argument type. E.g.
G H I
\ / \ /
D E F
\ \ /
B C
\ /
A
Here A is the argument type and B to I are types of parameters of
methods in a multi. There are four chains of subtypes A to G, A to H
via E and F, and A to I. Within these chains the methods are comparable
for specificity. I don't know if this is what is meant by "type
compatibility path" in mmd-draft.txt.
For writeonly parameters the partial order extends in the other
direction and is built from subtypes. For a rw parameter only exact
type match at A is type safe.
Regards, TSa.
--
