No error is reported for invalid default value assignment to `proto` generic param

[taichi-ishitani]

mismatch_type error should be reported for the following code but not.

proto module ProtoModuleA;
module ModuleA::<M: ProtoModuleA = 1> {}