{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
            // of the liberated form of the expectation.
            // The liberated version of this signature should be a subtype
            for ((hir_ty, &supplied_ty), expected_ty) in iter::zip(