test that @returns works with Nullable