>>137
文字列リテラルが lvalue なのはややこしい解釈の余地はなく直接的に明記されている。
https://timsong-cpp.github.io/cppwp/n3337/expr.prim.general#1

少なくとも

> "Here"は右辺値なので

というのは確実に誤った記述だよ。
最初の段階で誤っているのだからそこから後の理屈の立て方に筋が通るはずがない。

>>148

A は string に決定されない。
そういう仕組みは無いのでそれを前提として考えるな。