HiveList constructor Box type

Why does the factory constructor of HiveList
```
/// Allows defining references to other [HiveObjectMixin]s.
@experimental
abstract class HiveList extends HiveCollection
implements List {
/// Create a new HiveList which can contain HiveObjects from [box].
factory HiveList(Box box, {List? objects}) =>
HiveListImpl(box, objects: objects);

/// Disposes this list. It is important to call this method when the list is
/// no longer used to avoid memory leaks.
void dispose();

/// Casts the list to a new HiveList.
HiveList castHiveList();
}
```
not take a `Box` as an argument instead of `Box`? Would seem helpful for static analysis if it did.

Start at the HiveList factory constructor shown in the issue and trace the related HiveListImpl constructor. Check how the Box parameter is typed and whether changing it to Box preserves the public API and static-analysis behavior; the work is done when the constructor provides the requested generic typing without breaking existing usage.

Written by the indexing model from the issue text.