{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::Array(element_ty, ct) = *adjusted_ty.kind() {
                // We only unsize arrays here.
                    self.register_predicate(Obligation::new(