On 4/1/19 5:23 PM, Timon Gehr wrote: > Reasoning from first principles, the right fix is actually to allow > non-const length. D'accordo. Can you please put forth a PR to that effect?