Есть ли способ заставить макрос заменить вещи в строках?

Это невозможно. Макросы не могут проверять и/или изменять значение переменных.

Это возможно, если литерал встроен в вызов (replace_macro!("Hello, world!", "world", "Rust");), но требует proc-макроса: macro_rules! макросы не могут проверять и/или изменять литералы.

Это довольно просто с макросом proc:

use quote::ToTokens;
use syn::parse::Parser;
use syn::spanned::Spanned;

type Args = syn::punctuated::Punctuated<syn::LitStr, syn::Token![,]>;

#[proc_macro]
pub fn replace_macro(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
    let input_span = input.span();

    let args = match Args::parse_terminated.parse(input) {
        Ok(args) => Vec::from_iter(args),
        Err(err) => return err.into_compile_error().into(),
    };
    let (original, text, replacement) = match args.as_slice() {
        [original, text, replacement] => (original.value(), text.value(), replacement.value()),
        _ => {
            return syn::Error::new(
                input_span,
                r#"expected `"<original>", "<text>", "<replacement>"`"#,
            )
            .into_compile_error()
            .into()
        }
    };

    original
        .replace(&text, &replacement)
        .into_token_stream()
        .into()
}

Он анализирует список из трех строковых литералов, разделенных запятыми, а затем вызывает str::replace() для выполнения реальной работы.