{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
                    let mut b = TyBuilder::adt(self.db, box_adt).push(inner_ty);
                    let inner_ty = self.infer_pat(*inner, &inner_ty, default_bm, decl);