{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"rv_ty,"}]}
                        rv_ty,
                    && let Err(terr) = self.relate_type_and_user_type(
                        ty::Invariant,