Why can't we make reference variables?

[Tommi]

On Friday, 31 August 2012 at 05:24:31 UTC, Tommi wrote:
>
> ...But, actually it seems that the language is a bit broken, 
> because it doesn't follow neither one of those two options. 
> What it actually does is this:

Obviously I don't think that the language is broken, but the 
compiler is. I wrote that before I had seen that the third test 
case (S3) results a compile-time error. At the time I wrote that 
I assumed it would just call .fun(*ptr3)