{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"(ty::Array(a_elem_ty,"}]}
                (ty::Array(a_elem_ty, ..), ty::Slice(b_elem_ty)) => {
                // `[T; N]` -> `[T]` unsizing
                    result_to_single(ecx.consider_builtin_array_unsize(goal, a_elem_ty, b_elem_ty))