src/vs/editor/contrib/hover/browser/hoverTypes.ts/HoverRangeAnchor/constructor
class HoverRangeAnchor:	constructor(
		public readonly priority: number,
		public readonly range: Range,
		public readonly initialMousePosX: number | undefined,
		public readonly initialMousePosY: number | undefined,
	) {
	}