Extra tests an optimisations for return type specialisation
comment for macro expansion