Reply to Janice, > however, the > compiler would now have to /prove/ that the return value was > guaranteed always to be a slice of t, The fn could also return anything that is totaly mutable.