{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// difficult and currently incomplete in two opposite ways:
    /// Correctly handling aliases with escaping bound variables is
    /// - if we get an occurs check failure in the alias, replace it with a new infer var.