scrollOffsetCorrection property Null safety
If this is non-zero after RenderSliver.performLayout returns, the scroll offset will be adjusted by the parent and then the entire layout of the parent will be rerun.
When the value is non-zero, the RenderSliver does not need to compute the rest of the values when constructing the SliverGeometry or call RenderObject.layout on its children since RenderSliver.performLayout will be called again on this sliver in the same frame after the SliverConstraints.scrollOffset correction has been applied, when the proper SliverGeometry and layout of its children can be computed.
final double? scrollOffsetCorrection;