{"ast_node_type":"import","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// fresh inference variables C1 and C2. We wish to use the values
/// replace each of the references (`Foo1<'a>`, `Foo2<'b>`) with
/// of these variables to infer the underlying types of `Foo1` and