Push down info about coercions [ci skip]
Push down info about coercions [ci skip]

artemeff/virtus,XescuGC/virtus,dslh/virtus,reevoo/virtus,macressler/virtus,faucct/virtus,JustMikey/virtus,mallikarjunayaddala/virtus,baojjeu/virtus,solnic/virtus,hapiben/virtus