* 8.042s on rustc 1.20.0 from 2017-08-27
* 5.061s on rustc 1.30.0 from 2018-10-24
* 4.789s on rustc 1.36.0 from 2019-07-03
* 3.197s on rustc 1.44.0 from 2020-06-01
* 8.042s on rustc 1.20.0 from 2017-08-27
* 5.061s on rustc 1.30.0 from 2018-10-24
* 4.789s on rustc 1.36.0 from 2019-07-03
* 3.197s on rustc 1.44.0 from 2020-06-01