{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"&&"}]}
                    && let Some(vid) = self.fcx.root_vid(ty)
                if let Some(ty) = arg.as_type()
                    && self.reachable_vids.contains(&vid)