[bug] generic trait restriction check logic does not allow subset condition

[Chronostasys]

假设两个类型A<T:Trait> 和 B:Trait+Trait2，目前的逻辑里A会出错。必须 B:Trait才不会报错

相关代码

pivot-lang/src/ast/ctx.rs

Lines 1473 to 1478 in b29ea25

	if r.trait_impl != lg.trait_impl {
	return EqRes {
	eq: false,
	need_up_cast: false,
	};
	}