{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"//"}]}
            // think this suffices. -nmatsakis
            // iterate on the subtype obligations that are returned, but I
            (&ty::Infer(TyVar(..)), _) => {