On 9/15/16 5:14 PM, Timon Gehr wrote:
struct can either be annotated or not annotated, the fields cannot be treated independently (which is one of the weaknesses of DIP1000).
I was planning to allow scope annotations for struct fields. -- Andrei
On 9/15/16 5:14 PM, Timon Gehr wrote:
struct can either be annotated or not annotated, the fields cannot be treated independently (which is one of the weaknesses of DIP1000).
I was planning to allow scope annotations for struct fields. -- Andrei