(As explained by @paulp off-line, since AnyRef behaves as a type alias for Object, we don't need to look at AnyRef members, just members of Object.)