I created a language with a complex typesystem to reduce the number of subconcepts that are allowed at a certain point in the document.
(Just like in baselang: everything is a Expression and the type tells if it is ok there.)
But the typesystem rules are not used for autocompletion in the editor.
The same is in baselang:
int j = 2;
string blub = "asdf";
i = [Ctrl+Space]
The String variable blub is also suggested, although the type will not fit.