I guess the intention was indeed to `widen` singleton types: https://github.com/scala/scala/commit/7529035#L0L3133