Procedure erroneously interpreted as @Block if return type constructor has args

[dwtj]

The following type should be duckable.

package pi;

public class Result { // a duckable number type
  private int val;
  public Result(int val) {
    this.val = val;
  }
  public int getValue() {
    return val;
  }
}

However, if we return this type from some procedure

package pi;
@Capsule
class WorkerCore {
  Result calculate(int numIterations)  {
    int circleCount = 0;
    // ...
    return new Result(circleCount);
  }
}

then calculate will be inferred to be @block. (We can see this in the auto-generated pi.Worker interface.)

I suspect that this bug arises from the fact that this constructor takes an argument. For example, if we change the definition of Result to the following, the procedure is (correctly) inferred to be @duck.

package pi;

public class Result { // a duckable number type
  private int val;
  public int getValue() {
    return val;
  }
  public void setValue(int val) {
      this.val = val;
  }
}