Re: Re: VerifyError ascribing java annotations to scala.annotation.Annotation

Created SI-9644.

Daniel Armak

On Wed, Feb 3, 2016 at 6:27 PM, Lukas Rytz <[email protected]> wrote:

> Feel free to create a ticket; make sure to link to the other related
> issues and discussions.
>
> On Wed, Feb 3, 2016 at 10:17 AM, Daniel Armak <[email protected]> wrote:
>
>> It's mentioned in a comment on SI-9400, but not in the title or
>> description, and it's unrelated to subclassing a Java annotation, so the
>> ticket is hard to find. I'd create a new, more prominent ticket, but I
>> don't know what your policy is.
>>
>> Thanks,
>>
>> Daniel Armak
>>
>> On Tue, Feb 2, 2016 at 3:31 PM, Lukas Rytz <[email protected]> wrote:
>>
>>> This is another incarnation of
>>> https://issues.scala-lang.org/browse/SI-9400
>>> see also the discussion on https://github.com/scala/scala/pull/4638.
>>>
>>>
>>> On Monday, February 1, 2016 at 8:10:41 PM UTC+1, Daniel Armak wrote:
>>>>
>>>> Even weirder:
>>>>
>>>> scala> val x: Deprecated = null
>>>> x: Deprecated = null
>>>>
>>>> scala> x: StaticAnnotation
>>>> res14: scala.annotation.StaticAnnotation = null
>>>>
>>>> scala> (x: StaticAnnotation): Annotation
>>>> res15: scala.annotation.Annotation = null
>>>>
>>>> scala> x: Annotation
>>>> java.lang.VerifyError: Bad type on operand stack
>>>>
>>>> ​
>>>> --
>>>> Daniel Armak
>>>>
>>>> On Mon, Feb 1, 2016 at 8:50 PM, Daniel Armak <[email protected]> wrote:
>>>>
>>>>> scala> import scala.reflect.runtime.universe.typeOf
>>>>> scala> import scala.annotation.Annotation
>>>>> scala> import java.lang.Deprecated
>>>>> ​
>>>>> scala> typeOf[Deprecated] <:< typeOf[Annotation]
>>>>> res0: Boolean = true
>>>>> ​
>>>>> scala> val x: Deprecated = null
>>>>> x: Deprecated = null
>>>>> ​
>>>>> scala> x: Annotation
>>>>> java.lang.VerifyError: Bad type on operand stack
>>>>>
>>>>> The same happens with any Java annotation, Deprecated isn’t special.
>>>>>
>>>>> What is the intention? Why should Java annotations subtype
>>>>> scala.annotation.Annotation?
>>>>>
>>>>> This is mentioned in a comment in SI-9400, but that’s about a
>>>>> different issue and I think if this is a bug it deserves its own ticket.
>>>>> ​
>>>>> --
>>>>> Daniel Armak
>>>>>
>>>>
>>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "scala-language" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to [email protected].
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>
>> --
>> You received this message because you are subscribed to a topic in the
>> Google Groups "scala-language" group.
>> To unsubscribe from this topic, visit
>> https://groups.google.com/d/topic/scala-language/4Cjr_n3CAr0/unsubscribe.
>> To unsubscribe from this group and all its topics, send an email to
>> [email protected].
>> For more options, visit https://groups.google.com/d/optout.
>>
>
> --
> You received this message because you are subscribed to the Google Groups
> "scala-language" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.