{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"}"}]}
                    } else {
                        enforce_copy_bound(element, element_ty)
                        // If the length is 0 or 1 we don't actually copy the element, we either don't create it