添加詞條「A is assignment compatible with B」