{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// Returns `Some` if we *were* able to replace bound vars. If there are any bound vars that
{
    /// use a binding level above `universe_indices.len()`, we fail.