Description
PropagateTypes are called at the beginning of TypeCocercion and then called at the end of TypeCocercion. Instead, we should call it in each rule that could change the data types for propagating the type changes above the parents.
PropagateTypes are called at the beginning of TypeCocercion and then called at the end of TypeCocercion. Instead, we should call it in each rule that could change the data types for propagating the type changes above the parents.