{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":")"}]}
    ) -> RelateResult<'tcx, ()> {
        source_ct: ty::Const<'tcx>,
        self.instantiate_const_var(relation, target_is_expected, target_vid, source_ct)