{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// If some `InferCtxt` method is missing, please first think defensively about
    /// since we don't care about things like `ObligationCause`s and `Span`s here.
    /// the method's compatibility with this solver, or if an existing one does