replacementSliver property Null safety

Widget replacementSliver
final

The widget to use when the sliver child is not visible, assuming that none of the maintain flags (in particular, maintainState) are set.

The normal behavior is to replace the widget with a childless SliverToBoxAdapter, which by default has a geometry of SliverGeometry.zero.

Implementation

final Widget replacementSliver;