{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.write_expr_ty(tgt_expr,"}]}
        self.write_expr_ty(tgt_expr, ty.clone());
        let ty = self.insert_type_vars_shallow(ty);
        if self.resolve_ty_shallow(&ty).is_never()