Add a useful explicit receiver annotation example

Add a useful explicit receiver annotation example #2244