They do not work because access to the variable is always doen through the view. What we actually want to check is that the view is alive and no reference outlive it, but the current annotations do not do anything for this.