Adding the lifetimebound annotation to the `ArrayRef`'s array constructor can enable us to detect the following use-after-free issues: ``` ArrayRef<int> test() { int array[10]; return array; // bug, return a stack local address } ``` cc @Xazax-hun, @usx95