[Bug 820631] New: dotty can't find lefty