{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"self.mapped_consts.insert(p,"}]}
                self.mapped_consts.insert(p, bound_const);
                let p = PlaceholderLike::new(universe, bound_const);
                Const::new_placeholder(self.cx(), p)