rustc version: 1.31.1

Release date: Sept. 10, 2020