StringTokens not seen as subtype of {Object*}

[lucaswerkmeister]

void run() {
    Anything split = "Hello World!".split();
    print(split is {Object*});
}

Expected: true
Actual: false

Found in eclipse-archived/ceylon-ide-eclipse#987, where we use String.split() (not yet committed), which is then not recognized here.

I stepped into the subtyping algorithm a bit, and apparently StringTokens’ Absent type parameter is somehow widened (during the check! it’s okay in the original descriptor) from Null to Object, which is of course not a subtype of {Object*}’s Null.

[gavinking]

Surely this bug belongs in ceylon.language, no?

[lucaswerkmeister]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

No idea… StringTokens does have reified type arguments String and
Null, so there was no obvious error to me.

On 03.10.2014 01:14, Gavin King wrote:

Surely this bug belongs in |ceylon.language|, no?

— Reply to this email directly or view it on GitHub
#1106 (comment).

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJULdywAAoJEOkUbI/rtXZKxNkH/jvroAhHxjhq2Y26rfQBt9zg
C8FzaPiVVUV0dWFe5pTdFiKbmq6E+xdg3qXd4Ti3ftxX4hHhYGwnWMSbKDxmMmgb
Z/sdJnCK6FZX/2lBB7o2QELQAcq4Na1VIHlZixWbgpGvZ/Q6ZliroxqYLBdjv9W1
Au5r6w8BiAuFqc9oA7bCMRMBHd1OPNNEezxhDm4W9JaEmOl3xLBWZpYw041XpxDN
vWWOj2X+DeOAS1vx6b9vi2u97Rk6CEIHcOT/3xsNJUVhDySXPdOiO1QB5BvFzRRx
HALIRGwOfk6ldzprpaI7Izvu5q99LuUoRxlTZ+/bOH2mCHgU424rJ9dKqujgX8g=
=NX93
-----END PGP SIGNATURE-----

[gavinking]

That probably fixed it.

[lucaswerkmeister]

Works great, thanks!