Push down info about coercions [ci skip]