so by this design your code cannot rely on any `x`...

# language-proposals

[voddan]

so by this design your code cannot rely on any x functionality which is not in B (because nothing guarantees it is there)