Add a useful explicit receiver annotation example (#2364)

Add a useful explicit receiver annotation example (#2364) #528