The generated code is as if a.x and a.y were regular fields instead of bitfields.

struct A { int x: 3; int y: 5; } a;

struct A test(int val, int choice, struct A a)
{
    (choice ? a.x : a.y) = val;
    return a;
}

Affects D and ImportC.