Calling methods on null when self is of an optional type is not allowed

[anton-trunov]

null.foo() should be allowed in the snippet below:

extends fun foo(self: Int?): Bool {
    if (self == null) { return false }
    else { return self!! == 42 }
}

contract Test {
    get fun test(): Bool {
        return null.foo();
    }
}

Now I get the following compilation error message:

Tact compilation failed
Error: test-null.tact:8:16: Invalid type "<null>" for function call
Line 8, col 16:
  7 |     get fun test(): Bool {
> 8 |         return null.foo();
                     ^~~~~~~~~~
  9 |     }

[Gusarich]

@anton-trunov suppose there are two functions: foo(self: Int?) and foo(self: Bool?) and you try to call null.foo(). How should compiler decide which one of these to call?

[anton-trunov]

@Gusarich In these cases you would need to use type annotations to disambiguate