This replaces the prior for<X> Foo<X> style of inline generics.
This macro is almost independent of KAS/widget-specifics now; the only exception is that a field with type _ (or omitted type) and attribute #[widget] has bound ::kas::Widget assumed. This is quite important to examples. Still, it should be possible to publish a variant without this feature to impl-tools.
This replaces the prior
for<X> Foo<X>style of inline generics.This macro is almost independent of KAS/widget-specifics now; the only exception is that a field with type
_(or omitted type) and attribute#[widget]has bound::kas::Widgetassumed. This is quite important to examples. Still, it should be possible to publish a variant without this feature toimpl-tools.