another typescript lie.ts

interface Foo {
    a: 'a';
    foobar?: 'foo1';
}
interface Bar {
    a: 'a';
    foobar?: 'foo2';
}
interface OneOf {
    a: 'a';
}

function a(p: Foo) {
    p.foobar = 'foo1';
    b(p);
}
function b(p: OneOf) {
    c(p);
}
function c(p: Bar) {
    // eslint-disable-next-line no-unused-expressions
    p.foobar;
    // ^ type is 'foo2' | undefined, but value is foo1
}