[display] import completion: suggest qualified paths for unqualified type prefixes

`import Fo|` used to fall into legacy path completion, which only lists
root-package modules. Raise a toplevel CRImport collection instead, so
clients can suggest `pack.to.Foo` (and sub-types, e.g. `Ba|` ->
`pack.to.Foo.Bar`) with fully-qualified insert text. Qualified paths
(`import pack.Fo|`) keep the package-scoped listing.

Author: kLabz

src/context/display/displayPath.ml

@@ -207,6 +207,10 @@ let handle_path_display ctx path p =
 			with Not_found ->
 				()
 			end
+		| (IDKModule([],s),p),DMDefault ->
+			(* Unqualified module completion: offer the whole toplevel so that
+			   `import Fo|` can suggest `pack.to.Foo` (and its sub-types). *)
+			DisplayToplevel.collect_and_raise ctx TKType WithType.no_value CRImport (s,p) p
 		| (IDKModule(sl,s),p),_ ->
 			raise (Parser.TypePath(sl,None,true,p))
 		| (IDKSubType(sl,sm,st),p),(DMDefinition | DMTypeDefinition) ->

tests/server/src/cases/display/IImport.hx

@@ -65,4 +65,53 @@ class IImport extends DisplayTestCase {
 		eq(true, hasPath(fields(1), "Context"));
 		eq(false, hasPath(fields(1), "Context.hl"));
 	}
+
+	/**
+		import Fo{-1-};
+
+		class Main {}
+	**/
+	function testUnqualifiedModule(_) {
+		vfs.putContent("pack/to/Foo.hx", "package pack.to;\nclass Foo {}\nclass Bar {}");
+		var fields1 = fieldsWithClassPath(1);
+		eq(true, hasFullPath(fields1, "pack.to", "Foo"));
+	}
+
+	/**
+		import Ba{-1-};
+
+		class Main {}
+	**/
+	function testUnqualifiedSubType(_) {
+		vfs.putContent("pack/to/Foo.hx", "package pack.to;\nclass Foo {}\nclass Bar {}");
+		var fields1 = fieldsWithClassPath(1);
+		eq(true, hasFullPath(fields1, "pack.to", "Bar"));
+	}
+
+	/**
+		using Fo{-1-};
+
+		class Main {}
+	**/
+	function testUnqualifiedUsing(_) {
+		vfs.putContent("pack/to/Foo.hx", "package pack.to;\nclass Foo {}\nclass Bar {}");
+		var fields1 = fieldsWithClassPath(1);
+		eq(true, hasFullPath(fields1, "pack.to", "Foo"));
+	}
+
+	@:coroutine
+	function fieldsWithClassPath(n:Int):Array<DisplayItem<Dynamic>> {
+		// The implicit "" class path is excluded from toplevel exploration, so pass an explicit
+		// one and force (re-)exploration — the context survives resetState between tests.
+		runHaxeJson(["-cp", "."], ServerMethods.ReadClassPaths, {wait: true});
+		var result = runHaxeJson(["-cp", "."], DisplayMethods.Completion, {file: file, offset: offset(n), wasAutoTriggered: false});
+		return result.items;
+	}
+
+	function hasFullPath<T>(items:Array<DisplayItem<T>>, pack:String, typeName:String):Bool {
+		return items.exists(t -> switch (t.kind) {
+			case Type: t.args.path.typeName == typeName && t.args.path.pack.join(".") == pack;
+			case _: false;
+		});
+	}
 }