replacementSliver property
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;