{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"constant.const_.ty(),"}]}
                constant.const_.ty(),
            if let Err(terr) = self.relate_type_and_user_type(
                ty::Invariant,