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