Paths<{
	a: {
		b: string;
	};
	'a.b': number;
}>;

will result in simply 'a.b' as Paths has no way to escape the . in the a.b property, which also means that PickDeep etc that are based on Paths will not be able to access a.b

One benefit of tuple styles of Get is that it the tuple style for sure handles accessing all kinds of paths.

Also, yes, this is quite a theoretical bug that has little real world impact.