Since the diagnostics engine understands Attr objects, this code is no longer required -- we can just pass in the attribute directly.