Base calls with byref arguments are not analyzed correctly

[KevinRansom]

From Codeplex opened by kvb

Based on the problem reported here: http://stackoverflow.com/questions/24324547/f-method-with-byref-parameter-override.

This fails to compile

type Incrementor(z) =
    abstract member Increment : int byref * int byref -> unit
    default this.Increment(i : int byref,j : int byref) =
       i <- i + z

type Decrementor(z) =
    inherit Incrementor(z)
    override this.Increment(i, j) =
        base.Increment(&i, &j)

        i <- i - z

the error is:

error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.

But this slight variation compiles fine:

type Incrementor(z) =
    abstract member Increment : int byref * int byref -> unit
    default this.Increment(i : int byref,j : int byref) =
       i <- i + z

type Decrementor(z) =
    inherit Incrementor(z)
    override this.Increment(i, j) =
        this.Increment(&i, &j)

        i <- i - z

All I’ve done is to change the target of Increment in the override from base to this (so it will stack overflow at runtime), which shows that the compiler is somehow analyzing the base call and a normal call differently (and, I believe wrongly in the former case).

[yukitos]

Wrong title?

[latkin]

I've corrected the bug info, thanks.

[yukitos]

:)

[dsyme]

Closing in favour of master bug #862