{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"result_to_single(ecx.consider_builtin_array_unsize(goal,"}]}
                    result_to_single(ecx.consider_builtin_array_unsize(goal, a_elem_ty, b_elem_ty))
                (ty::Array(a_elem_ty, ..), ty::Slice(b_elem_ty)) => {
                }