Normally calling `castMod` in front-end layer is rare case. It modifies just only the top qualifier of the type, so usually it doesn't handle transitive type qualifier correctly.