Reviewed codegen in impl