src/vs/base/browser/ui/tree/asyncDataTree.ts/AsyncDataTree/getSelection
class AsyncDataTree:	getSelection(): T[] {
		const nodes = this.tree.getSelection();
		return nodes.map(n => n!.element as T);
	}