{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"compatibility_diagonal:"}]}
        compatibility_diagonal: IndexVec<ProvidedIdx, Compatibility<'tcx>>,
        &self,
        formal_and_expected_inputs: IndexVec<ExpectedIdx, (Ty<'tcx>, Ty<'tcx>)>,