{"ast_node_type":"function","tokens":[{"end":69,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) fn insert_type_vars_shallow(&mut self, ty: Ty) -> Ty {
    /// Replaces `Ty::Error` by a new type var, so we can maybe still infer it.
        match ty.kind(Interner) {