Add missing type parameter to TakeWhile (JuliaLang#42958)

Without this `TakeWhile` has `eltype` of `Any`
halleysfifthinc · Nov 9, 2021 · ab0c6dd · ab0c6dd
1 parent 0771250
commit ab0c6dd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/base/iterators.jl b/base/iterators.jl
@@ -790,7 +790,7 @@ end
 
 IteratorSize(::Type{<:TakeWhile}) = SizeUnknown()
 eltype(::Type{TakeWhile{I,P}} where P) where {I} = eltype(I)
-IteratorEltype(::Type{TakeWhile{I}} where P) where {I} = IteratorEltype(I)
+IteratorEltype(::Type{TakeWhile{I, P}} where P) where {I} = IteratorEltype(I)
 
 
 # dropwhile

diff --git a/test/iterators.jl b/test/iterators.jl
@@ -212,6 +212,7 @@ end
  @test collect(takewhile(Returns(true),5:10)) == 5:10
  @test collect(takewhile(isodd,[1,1,2,3])) == [1,1]
  @test collect(takewhile(<(2), takewhile(<(3), [1,1,2,3]))) == [1,1]
+ @test Base.IteratorEltype(typeof(takewhile(<(4),Iterators.map(identity, 1:10)))) isa Base.EltypeUnknown
 end
 
 # dropwhile
@@ -224,6 +225,7 @@ end
  @test isempty(dropwhile(Returns(true), 1:3))
  @test collect(dropwhile(isodd,[1,1,2,3])) == [2,3]
  @test collect(dropwhile(iseven,dropwhile(isodd,[1,1,2,3]))) == [3]
+ @test Base.IteratorEltype(typeof(dropwhile(<(4),Iterators.map(identity, 1:10)))) isa Base.EltypeUnknown
 end
 
 # cycle