Drop redundant method
Drop redundant method

It turns out the faulty method should not even have existed since it was
trying to duplicate functionality defined elsewhere.

dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty