borderRadius property Null safety
final
Sets the decoration property's border radius.
Can't be set along with the decoration. Defaults to 9 px circular corner radius.
Implementation
// TODO(DanielEdrisian): Must make border radius continuous, see
// https://github.com/flutter/flutter/issues/13914.
final BorderRadius? borderRadius;