Apparently an empty refinement means 'don't widen me'.
Merge branch 'master' into scala-2.11.x
Reenabled some disabled tests.