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