[#2351] Fixed type common super type computation when type params are involved

[#2351] Fixed type common super type computation when type params are involved #1188