> Possibly should be  typeb->immutableOf()->implicitConvTo(tb->immutableOf()); 
I feel like this was covered in the feedback on the original pull...

It should not be, it isn't the same - there may be adding/subtracting const, immutable, shared or inout bits.