Macro lean_prop_expr 

lean_prop_expr!() { /* proc-macro */ }