{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// - if the alias contains an inference variable not nameable by `for_universe`, we
    ///   alias normalizes to type containing one of the bound variables.
    ///   continue generalizing the alias. This ends up pulling down the universe of the