Here's another symptom of the same issue:

I have this class (impl. of Haskell's Just)
 
class Just<A> implements Function
{
    A val;
    
    Just (this.val);
    Just<dynamic> call(dynamic fun (A o)) => new Just<dynamic> (fun (val));
    
    Just<dynamic> fmap (dynamic fun (A o)) => new Just<dynamic> (fun (val));
}
 
and was experimenting doing something like

main ()
{
    int add1 (int n) => n + 1;

    Just<int> Initial = new Just<int> (3);
    var withFMap = Initial .fmap (add1) .fmap (add1);
    var withCall = Initial (add1) (add1);

    print (withFMap.val); //5
    print (withCall.val); //5
}
 
While both produce the same result, the Editor correctly notices that "withFMap" is of type "Just" and helps me auto-complete the "val" field, but I get no feedback on "withCall" object that is produced using the "call ()" method and it just gets inferred as Dynamic.

This has been fixed somewhere along the line:

Hooray!