Косвенное обращение к макрофункции

Я пытаюсь написать макрос для своего рода библиотеки форматирования. Идея состоит в том, что вы можете использовать сочетание строковых литералов, обычных функций и (здесь я застрял) выведенных/ограниченных функций. Я подозреваю, что я мог бы заставить это работать с макросами proc, но это сложнее, и я бы хотел, чтобы код макроса был проще для чтения, если это возможно.

Пример

Вот урезанная версия кода, который я пишу.

enum TemplateEntry<T> {
    Text(String),
    Typed(T, String),
}

enum ColorType {
    Red(String),
    Blue(String),
}

impl ColorType {
    pub fn red(s: &str) -> Self {
        Self::Red(s.to_string())
    
    pub fn blue(s: &str) -> Self {
        Self::Blue(s.to_string())
    }
}

impl Into<TemplateEntry<ColorType>> for ColorType {
    fn into(&self) -> TemplateEntry<Self> {
        match self {
            Self::Blue(text) => TemplateEntry::Typed(self.clone(), text.clone()),
            Self::Red(text) => TemplateEntry::Typed(self.clone(), text.clone()),
        }
    }
}

macro_rules! markup_helper {
    ($temp_vec:ident,  $type_id:tt, @ $x:expr) => {{
        $temp_vec.push($type_id::$x);
    }};
    ( $temp_vec:ident, $type_id:tt, $x:expr) => {{
        $temp_vec.push($x.into());
    }};
}

#[macro_export]
macro_rules! markup {
    ( $type_id:tt, $( $($opt:literal)? $rest:expr ),* ) => {
        {
            let mut temp_vec: Vec<TemplateEntry<$type_id>> = Vec::new();
            $(
                markup_helper!(temp_vec, $type_id, $($opt)? $rest);
            )*
            temp_vec
        }
    };
}

fn example_call() {
    let _example = markup!(ColorType, "regular text", @blue("other text"), "more regular text", regular_func_returning_text());
    // What I want it to expand to
    let _example = {
        let mut temp_vec: Vec<TemplateEntry<ColorType>> = Vec::new();
        temp_vec.push("regular text".into());
        temp_vec.push(ColorType::blue("other text"));
        temp_vec.push("more regular text".into());
        temp_vec.push(regular_func_returning_text().into());
        temp_vec
    };
}

Поиск @ не работает должным образом, поскольку компилятор не может определить, являются ли строковые литералы необязательными литералами или выражением. Кроме того, похоже, он не пересылает @ помощнику, если я пытаюсь проанализировать его с помощью рекурсивно определенного макроса.

Переформулированные вопросы

Есть ли способ использовать use, чтобы попытаться найти связанные функции базового типа, возможно, без индикатора @?

Есть ли что-то очевидное, чего мне не хватает для того, чтобы заставить работать @ или любой другой удобный символ индикатора, который позволил бы работать такому макросу?