Returns: A default-initialized object of type 
flags<Flags2...> for some
  
Flags2 where every type in 
Flags2 is present either in template parameter pack
  
Flags or in template parameter pack 
Other, and every type in template parameter
  packs 
Flags and 
Other is present in 
Flags2.