Description Laurent Goubet 2015-09-16 03:57:25 EDT

self->

returns different completion results depending on whether "self" is typed as a Nothing, or typed as a Sequence of Nothings. Strictly speaking, this is the exact same operation since the arrow is supposed to convert the "Nothing" input as a Sequence of Nothing. We should thus have the same completion on both.

What we see though, is that completion when self is a Nothing is empty, while completion when self is a Sequence of Nothings returns a variable declaration proposal.