<div dir="ltr">Currently mergeTypes has the following code/comment:<br>--<br>  case Type::ObjCInterface:<br>  {<br>    // Distinct ObjC interfaces are not compatible; see canAssignObjCInterfaces<br>    // for checking assignment/comparison safety<br>

    return QualType();<br>  }<br>--<br><br>It isn't clear to me why we shouldn't be merging interface types which are in an<br>inheritance relation to one another here. It seems like it was explicitly avoided,<br>
given the presence of canAssignObjCInterfaces but I don't see the reason yet.<br><br>Wouldn't merging the interface allow simplifying and maybe removing <br>canAssignObjCInterfaces?<br><br> - Daniel<br><br></div>