{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// signature types for implied bounds when checking regions.
    /// then check the well-formedness of the type, since we only use the normalized
    // FIXME(-Znext-solver): This should be removed when we compute implied outlives