{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Some(BindingProblems::NotBoundAcrossAll);"}]}
                                Some(BindingProblems::NotBoundAcrossAll);
                            self.store.bindings[id].problems =
                        }