Okay. Can you give me a brief summary of where in the code this constructor
is called, then?
On Mar 19, 2014 5:38 PM, "Andrei Stefanescu" <notifications@github.com>
wrote:

> In
> src/javasources/KTool/src/org/kframework/backend/java/builtins/BitVector.java:
>
> > +    protected final T value;
> > +    /**
> > +     * The bit width on which this integer is represented.
> > +     */
> > +    protected final int bitwidth;
> > +
> > +    protected BitVector(T value, int bitwidth) {
> > +        this.value = value;
> > +        this.bitwidth = bitwidth;
> > +    }
> > +
> > +    /**
> > +     * Returns a {@code BitVector} representation of the given big integer value on the given
> > +     * bit width.
> > +     */
> > +    public static BitVector of(BigInteger value, int bitwidth) {
>
> Yes, cut converting to a raw type is always allowed. Converting a raw type
> would create an unchecked warning.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/291/files#r10775302>
> .
>