Resolve plus surface any quantity hint that came through the
desugar side-channel or a parser-produced QuantityNode. The
MqlApi layer threads quantity onto the returned MqlOne /
MqlMany wrapper.
Strict-mode hints (from a QuantityNode) win over lenient hints
(from desugar) — looksFormal rejects desugar entirely when the
input contains {, so in practice both are never present.
Resolve plus surface any quantity hint that came through the desugar side-channel or a parser-produced
QuantityNode. The MqlApi layer threadsquantityonto the returnedMqlOne/MqlManywrapper.Strict-mode hints (from a
QuantityNode) win over lenient hints (from desugar) —looksFormalrejects desugar entirely when the input contains{, so in practice both are never present.