val maybeCodec = scala.util.Try(c.inferImplicitValue(appliedType(weakTypeOf[LogstageCodec[Nothing]].typeConstructor, tpe), silent = false))
Не, вопрос шёл о том, как дерево заменить, т.е. имплиситы явно не писать.
Я так понял кай предложил сделать макро имплисит в самом компаньоне тайпкласса, который будет анализировать сигнатуру кейскласса, а в сигнатуре кейскласса приписывать какие-то дамми имплиситы.
Правда, не очень понял, как это поможет деривировать с параметрами, дописывать новые способы деривации или репортить в компиляции о конкретных отсутствующих кодеках для полей