Speeding up rustc by being lazy | David Lattimore