I'm writing up my notes from the meeting, and I have a question about the box's no-arg constructor. My notes say that this constructor is automatically provided and may not be replaced by the user. My understanding is that this is done in order to force the constructor to have the same behaviour as "vdefault; vunbox;".
My question is, did we decide to restrict the accessibility of these constructors, and if so, what would be the reason to do this? As stated above, the default box can already be obtained by unboxing a default value.
--
Bjørn Vårdal
Bjørn Vårdal
