{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
    /// The goal `&'a u32: Equals<&'a u32>` has no constraints right now. If we replace each
    /// the trait solver ignores other candidates if one candidate exists without any constraints.
    /// occurrence of `'a` with a unique region the goal now equates these regions. See