{"ast_node_type":"function","tokens":[{"end":20,"kind":"keyword","start":0,"text":"fn"}]}
fn check_impl<'tcx>(
#[instrument(level = "debug", skip(tcx, hir_self_ty, hir_trait_ref))]
    tcx: TyCtxt<'tcx>,