Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)