{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// this function generates an inference variable and registers
    /// Instead of normalizing an associated type projection,
    /// an obligation that this inference variable must be the result