proof they don't error when use annotates bindings