Struct literal constructors don't check type parameters on typedefs

[pcwalton]

I believe this compiles but shouldn't:

struct MyStruct<T> {
    x: T,
}
type OtherStruct = MyStruct<bool>;
let s = OtherStruct {
    x: 1,
};

Nominating for 1.0, P-backcompat-lang.

[mukilan]

Even this compiles while it shouldn't:

struct MyStruct<T> {
    x: T,
}

let s = MyStruct::<bool> {
    x: 1,
};