Compile error in struct instantiation

[esdrubal]

The following script throws an error while compiling when ideally it shouldn't.

script;

trait Trait {
    fn method();
}

struct Struct<T> where T: Trait {
    
}

impl Trait for u64 {
    fn method() {}
}

const C: Struct<u64> = Struct{};

fn main() {}

The error is:

16 | const C: Struct<u64> = Struct{};
   |                        ^^^^^^^^ Trait "Trait" is not implemented for type "T".