macroexpand time validation of implicits example