Reduce the overhead of opacity annotations

[xldenis]

Currently, assume that a function with no #[open] annotation has opacity #[open(self)], despite this, there are over a 190 specific usages of #[open(self)]. These should be investigated and a mechanism should be developed to make them unnecessary.

It seems like most of these occurrences have to do with traits so perhaps there is something to fix in that regard?

[jhjourdan]

What I remember is that we decided that any non-private logic definition should have an explicit transparency. That's the reason why these open(self) are necessary. If we get rid of these tests, then we shoudl get the desired behavior.

[xldenis]

What I remember is that we decided that any non-private logic definition should have an explicit transparency. That's the reason why these open(self) are necessary. If we get rid of these tests, then we shoudl get the desired behavior.

Yes, I think we should do that immediately and start with open(self) as a default transparency.