{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"return"}]}
            return None;
        let ty::Adt(found_adt, found_args) = found_ty.peel_refs().kind() else {
        };