{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"InCrate::Local"}]}
                    InCrate::Local { .. } => self.found_uncovered_ty_param(ty),
                match self.in_crate {
                    // The inference variable might be unified with a local