auto: libsyntax: Pretty print using the new impl syntax

r? @brson