{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":")"}]}
    ) -> Ty<'tcx> {
        ti: &TopInfo<'tcx>,
        // We've already computed the type above (when checking for a non-ref pat),