ceylon/ceylon-compiler — Issue #233: Typing rules for Java code
Author: gavinking
Created: 2011-11-26 06:24:09+00:00
State: open
Labels: FEATURE

When we encounter a method declaration like this in Java:

X foo(Y y, Z z)

we should interpret that as the following signature in Ceylon:

X foo(Y? y, Z? z)

i.e. we should be as permissive as Java.

Likewise, a constructor like this:

Foo(Y y, Z z)

should become:

Foo(Y? y, Z? z)

Eventually we need to do a null check when we call to Java and assign the result to a non-optional type, but that's less urgent right now.