{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// We handle this by lazily equating the alias and generalizing
    ///
    /// it to an inference variable. In the new solver, we always