getProperties method Null safety
override
Properties of this DiagnosticsNode.
Properties and children are kept distinct even though they are both List<DiagnosticsNode> because they should be grouped differently.
Implementation
@override
List<DiagnosticsNode> getProperties() => (kReleaseMode || kProfileMode) ? const <DiagnosticsNode>[] : builder!.properties;