っぽいですね。 "Opaque result types are uniqued based on the function/property/subscript and any generic type arguments." なので、

それで、解決してる真の型が同一であれば違う関数同士でも同一扱いな気がする。

は違う。