On 2/17/2016 10:54 AM, Marc Schütz wrote: > That's already covered in the DIP, see my reply to Dicebot. Note that D supports opaque types, meaning it is not always possible to transitively follow all types to see if they have mutable members.