Jeremy Stucki d578c43c51 Use correct span		2019-08-13 21:50:42 +02:00
..
mod.rs	Use correct span	2019-08-13 21:50:42 +02:00
option_map_unwrap_or.rs	Fix warnings about unnecessary lifetime bounds	2019-06-20 01:36:23 +07:00
unnecessary_filter_map.rs	Fix warnings about unnecessary lifetime bounds	2019-06-20 01:36:23 +07:00