{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // We're not checking region constraints here, so we can simply drop the
    } else {
        // added opaque type uses in `TypingMode::Borrowck`.