Add missing inbounds annotation