{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"obligations.extend(o);"}]}
                            obligations.extend(o);
                        |InferOk { value: method, obligations: o }| {
                            // FIXME: we should assert the sig is &T here... there's no reason for this to be fallible.