To keep the description short, we are having problems reading GPIO pins 9 and 10 when using feature = "stm32f303xe". It seems to be due to missing Channel trait implementations under the #[cfg(any(feature = "stm32f303xd", feature = "stm32f303xe"))] conditional in https://github.com/stm32-rs/stm32f3xx-hal/blob/master/src/adc/channel.rs#L267. So far we've been using the following fork and revision: https://github.com/ferrous-systems/stm32f3xx-hal#c9b278b which does contain the implementations, but we want to switch to this upstream repository. Is this a bug?