🚀 go-pugleaf

In cp-call.c, build_method_call, there is the following code for
computing the type of a class instance:

    {
      /* The MAIN_VARIANT of the type that `instance_ptr' winds up being.  */
      tree inst_ptr_basetype;

      ...

	      /* @@ Should we call comp_target_types here?  */
	      inst_ptr_basetype = TREE_TYPE (TREE_TYPE (instance_ptr));
	      if (TYPE_MAIN_VARIANT (basetype) == TYPE_MAIN_VARIANT (inst_ptr_basetype))
		basetype = inst_ptr_basetype;
	      else
		{
		  instance_ptr = convert (TYPE_POINTER_TO (basetype), instance_ptr);
		  if (instance_ptr == error_mark_node)
		    return error_mark_node;
		}
	    }
	  else
	    inst_ptr_basetype = TREE_TYPE (TREE_TYPE (instance_ptr));
	}

      if (basetype_path == NULL_TREE)
	basetype_path = TYPE_BINFO (inst_ptr_basetype);

Since `inst_ptr_basetype' is supposed to be the basetype of
`instance_ptr' (according to the comment above), shouldn't it be
recomputed after `instance_ptr' is converted to
`TYPE_POINTER_TO (basetype)'?  I.e., to have

		  inst_ptr_basetype = TREE_TYPE (TREE_TYPE (instance_ptr));

after the call to `convert'?

--Gerald