Document Variable References Better

[WalkerCodeRanger]

Can you have a variable of type ref ref T or does that always collapse to ref T? What about ref var ref var T?

It seems like ref ref T should collapse/convert to ref T. But the same logic doesn't seem to hold for ref var ref var T.

var x = 5; // x: int
var y = ref var x; // y: ref var int (note ref x would yield the type ref int)
var z = ref var y; // z: ref var ref var int
var zz = ref var z; // zz: ref var ref var ref var int

If ref ref T converts to ref T then ref ref var T should be ref var T. Maybe you simply aren't allowed to take a reference to a variable of type ref (var) T. However, how would that play with generics where you are unsure if the type is a reference or not?

Types like ref var ref T also need to be considered.