Replace A+Send trait subtyping with upcast coercion
#23423
Merged
A+Send trait subtyping with upcast coercion
#23423