{"ast_node_type":"function","tokens":[{"end":95,"kind":"keyword","start":0,"text":"pub(crate)"}]}
pub(crate) fn check<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId, body: &'tcx hir::Body<'tcx>) {
    let mut check =