tweak(Core/externals): add read1/open type asserts

tecosaur · Oct 12, 2024 · ea3f0f4 · ea3f0f4
1 parent 1391403
commit ea3f0f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Core/src/interaction/externals.jl b/Core/src/interaction/externals.jl
@@ -172,7 +172,7 @@ The advisable implementation of `read(dataset::DataSet, as::Type)`, which see.
 
 This is essentially an exercise in useful indirection.
 """
-function read1(dataset::DataSet, as::Type)
+function read1(dataset::DataSet, as::Type)::as
     for loader in dataset.loaders
         l_steps = typesteps(loader, as)
         isempty(l_steps) && continue
@@ -272,7 +272,7 @@ This executes the following component of the overall data flow:
 Storage ◀────▶ Data          Information
 ```
 """
-function Base.open(data::DataSet, as::Type; write::Bool=false)
+function Base.open(data::DataSet, as::Type; write::Bool=false)::Union{as, Nothing}
     for storage_provider in data.storage
         for (_, Tout) in typesteps(storage_provider, as; write)
             result = @advise data storage(storage_provider, Tout; write)