Differing levels of type-inference: Can D do this?

[Chad J]

Is there some way to do something similar to this right now?
void main()
{
  // Differing levels of type-inference:
  int[]       r1 = [1,2,3]; // No type-inference.
  Range!(int) r2 = [1,2,3]; // Only range kind inferred.
  Range       r3 = [1,2,3]; // Element type inferred.
  auto        r4 = [1,2,3]; // Full type-inference.
}

AFAIK it isn't: the type system is pretty much all-or-nothing about 
this.  Please show me that I'm wrong.