Hmmm this is an interesting point. I believe the motivation was that everything is being tested with that specific compiler version and can't fully guarantee correctness with future compiler versions. Interfaces are already pragma ^ but... 1/2
... now that the OP Stack is really meant to be extended, I can see the argument for a principled approach to having pragma ^ on implementations too. cc @maurelian