[JSR308] Receiver on field initializers

[Neal Gafter]

On Sun, May 11, 2008 at 5:02 PM, Mahmood Ali <mahmood at mit.edu> wrote:

> Greetings,
>
> No subtype rules are specified for constructors invocation (unlike other
>> method invocations).
>>
>
> Is there any reason that constructors are treated differently than method
> invocations? In my particular case the constructors need to be treated just
> like method calls.
>
> The previous sentence has a typo, my fault.  The sentence (along with the
> sentence preceding it) should have been:
> The framework currently checks arguments passed to the constructor for
> valid subtyping.  No subtype rules are specified for constructor invocation
> *receiver* (unlike other method invocations).
>
> We simply could not find a common rule to restrict constructor invocation
> based on the constructor receiver, unlike method invocation.  Within method
> invocation, the receiver is a formal parameter.
>

In a constructor, I would expect the receiver type to be the (possibly
annotated) type given in the class creation expression.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20080511/e1049a73/attachment.htm