На следующей диаграмме (взято из http://schacon.github.io/git/git-rev-parse#_specifying_revisions), этот указатель E также не может ссылаться на
A ~ ^ 2
G H I J \ / \ / D E F \ | / \ \ | / | \|/ | B C \ / \ / A A = = A^0 B = A^ = A^1 = A~1 C = A^2 = A^2 D = A^^ = A^1^1 = A~2 E = B^2 = A^^2 F = B^3 = A^^3 G = A^^^ = A^1^1^1 = A~3 H = D^2 = B^^2 = A^^^2 = A~2^2 I = F^ = B^3^ = A^^3^ J = F^2 = B^3^2 = A^^3^2
A~, то есть A~1, относится к B, а B^2 относится к E, поэтому, если я правильно проанализировал ваш вопрос - вы спросили, можно ли также ссылаться на E, используя refspec A~^2, - ответ «да, это может быть».
A~
A~1
B
B^2
E
A~^2