{"ast_node_type":"function","tokens":[{"end":85,"kind":"keyword","start":0,"text":"fn"}]}
        fn check(&self, item_def_id: LocalDefId) -> ControlFlow<(Span, LocalDefId)> {
    impl<'tcx> TaitConstraintLocator<'tcx> {
            if !self.tcx.has_typeck_results(item_def_id) {