Skip to content

Commit

Permalink
Relax eltype requirements
Browse files Browse the repository at this point in the history
Each container may choose a specific widening strategy.
  • Loading branch information
tkf committed Jul 5, 2020
1 parent 0b71755 commit 43ac07d
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions base/collections.jl
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,6 @@ Construct a new `collection` of type `T` that contains the elements in `iterable
If `T` has `eltype`, `keytype`, or `valtype` information, all elements in `collection` are
converted to the destination type to guarantee the constraint `collection isa T`.
Otherwise, if `IteratorEltype(collection)` is `HasEltype()` and type `T` can specify element
type in the type domain, `eltype(typeof(collection)) == eltype(typeof(iterable))` holds.
If `T` has size or length information (e.g., `NTuple` and `StaticArray`), providing
`collection` with unmatched size or length throws an error.
Expand Down Expand Up @@ -110,9 +108,6 @@ overload `__into__` (resp. `__from__`) by documenting specific type bounds for
## Implementation
If `IteratorEltype(collection)` is `HasEltype()` and type `T` can specify element type in
the type domain, `eltype(typeof(collection)) == eltype(typeof(iterable))` must hold.
If `T` is a subtype of `AbstractArray`,
```julia
Expand Down

0 comments on commit 43ac07d

Please sign in to comment.