Unhelpful highlighting in type inference error

[Torrencem]

MWE of a type inference error that came up in a real project:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=cd3198d1a30439a01ca2cfa3a78b1124

The user should fix this error by adding an explicit type for the {integer} literal 1 (i.e. 1u32 or 1u64), since these could do completely different things for the generic type T. The compiler catches this, but the highlighting seems to imply that it can't infer the type of the entire expression !(number >> 1), when in reality the problem is with the 1: no matter what type 1 takes, the full expression is always type T. This is pretty confusing

[Torrencem]

Full code for reference:

use std::ops::{Shr, Not};

trait MyTrait: 
  Shr<u32, Output=Self> + Shr<u64, Output=Self>
+ Not<Output=Self>
+ Sized {}
impl MyTrait for usize {}

fn neg_shift_right_by_one<T: MyTrait>(number: T) -> T {
    !(number >> 1)
}

gives:

error[E0282]: type annotations needed
  --> src/lib.rs:11:5
   |
11 |     !(number >> 1)
   |     ^^^^^^^^^^^^^^ cannot infer type
   |
   = note: type must be known at this point