Add a useful explicit receiver annotation example

Add a useful explicit receiver annotation example #1615