NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.
Optional
NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.