Computes the effective type that inout would have if you have it two parameters of difference constness
See Implementation
Computes the effective type that inout would have if you have it two parameters of difference constness