File typedef Null safety

File = $Empty

This item is deprecated; please see DriveFile instead.

Implementation

typedef File = $Empty;