that.indexed.type = that.indexed.type.unifyWith(mapTypeOf(that.index.type, ret_ty), attr.types);
//Make no assumptions aobut the index type-- we allow this notation to be used for maps
//that.index.type = that.index.type.unifyWith(attr.syms.intType, attr.types);
that.type = ret_ty.unifyWith(ret_ty, attr.types);
}
public void visitUnary(JCUnary that)
{
final Type inner = that.arg.type;