Understanding the typing of references

This thread will help: Why does this compile? Automatic dereferencing?