Macros
- Verifies equality between two types at compile-time.
- Creates type functions. You will still need to implement them yourself, e.g. using
type_fn_impl!. Syntax:$[$visibility$]$ fn $name$ <$args$>; - Generates type-fn implementations. Syntax:
fn<$FnType$> $name$<$args$> $[$where-clause$]$ => $return-type$;
Traits
- Default trait for returning something from a type-fn