This is a compiler-side implementation of improved type checking for objective c collections for example. Although introduced to allow better interoperation with swift, it also can make general objective c more robust. Currently, GNU objective C / C++ cannot consume headers marked up with such syntax.