You first need to assert the type of u and then change u.type's value.

(u as U).type = "y";

or if you want to assert u as Y you will have to assert it as unknown first because X and Y don't overlap.

(u as unknown as Y).type = "y";