Added a case to test @default with own types.