I start to think that most of the use cases can also be satisfied with property wrapper in local declaration:
func foo1(@Wrapper x: Int) { ... }
vs
func foo2(x: Int) {
@Wrapper var x = x
}
func bar1(x: Wrapper<Int>) {
@Wrapper var y: Int
_y = x
}
It does seem more explicit and flexible compared to putting these declaration right in the argument (like what we used to do with var).