This is a TODO in the proposal currently. There is no reason the buffer type could not be supported in all address spaces (function, private, workgroup, uniform, storage, immediate). All but storage would need to be sized.

We either support all or a subset (e.g. storage, uniform and workgroup). If we choose a subset, extending it to other address spaces in the future would just require an additional language feature.