DEFAULTed grants to PUBLIC must act as DEFAULTed to every user

[asfernandes]

A role can be default granted to PUBLIC.

create role r1;
grant default r1 to public;

In this case I think the role should be act as a defaulted role to every user.

But it's not working.

The role privileges only works if user uses it explicitly.