`= default` is the implementation.