Maybe we can get the optimization for value types as well, which would depend on two subscript related features mentioned here: