{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    ///   continue generalizing the alias. This ends up pulling down the universe of the
    /// - if the alias contains an inference variable not nameable by `for_universe`, we
    ///   inference variable and is incomplete in case the alias would normalize to a type