replacementSliver property Null safety

Widget replacementSliver

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


final Widget replacementSliver;