Yes and the type system which is defined by the language (see the language hook, types_compatible_p) so, the types are considered compatiable. Unless I'm reading comptypes wrong, the two pointer types are *not* compatible anyway ...