scalac's "diverging implicit expansion"