Bubble isn't a nominal type so can't be used as an upper bound.

[mikesamuel]

let f<T extends Bubble>(): Null | T { null } fails without explanation.

It should not fail, but also, having a formal type definition with an invalid bound should not fail silently.