I would write a little more explicit:

     // custom constraint on User.addresses map

This makes clear the map is validated and that a custom constraint it used. Stops you going into the wrong direction thinking about default constraints.