tree 12f4193064ae6228052f8162a14ea1325f32f651
parent a44881d892fb4f4a8ed93f8f392bab942fac7a41
parent 1376ccd84d5b62f10967dbd8c903d1ee7ee51174
author bors <bors@rust-lang.org> 1568668974 +0000
committer bors <bors@rust-lang.org> 1568668974 +0000

Auto merge of #64526 - Centril:rollup-k4cz2xn, r=Centril

Rollup of 4 pull requests

Successful merges:

 - #64357 (`AdtDef` is an algebraic data type, not abstract data type)
 - #64485 (update Miri)
 - #64509 (Make some adjustments to the documentation for `std::convert::identity`)
 - #64518 (Use while let slice_pattern instead of carrying an index around)

Failed merges:

r? @ghost