If I alt+click on sfUser in the below code, I'm taken to the code of the sfSecurityUser interface rather than the sfUser class.

class sfBasicSecurityUser extends sfUser implements sfSecurityUser
{
    // …
}