{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"//"}]}
    // `two_foos` is able to conclude that `(A,B):Foo`
    // This type-checks fine; in particular the fn
    // because `A:Foo` and `B:Foo`.