Building up inferred object works until it doesn't

Question

Let\'s start at the end with this snapshot which depicts all unit tests passing but highlighted in red, an unfortunate loss of fidelity in types:

What yo