Shared via Rust Playground

playground.rs

#![feature(trace_macros)]#![feature(type_macros)]
trace_macros!(true);

macro_rules! example{
    (@as_type $t:ty) => {$t};
    
    () => {};
    
    (>>) => {
        > >
    };
    
    ($a:tt $($b:tt)*) => {
        example!(@as_type $a)
        example!($($b)*)
    };
}

fn main(){
    let a = example!(A<B<C>>);
}