{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":")"}]}
    ) -> RelateResult<'tcx, ty::Const<'tcx>> {
        c2: ty::Const<'tcx>,
        assert_eq!(c, c2); // we are misusing TypeRelation here; both LHS and RHS ought to be ==