@SimonSapin
Remove unused `#![feature(…)]` attributes
fbfe86f