{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                // but we need to constrain vars before processing goals mentioning
                // since these can be emitted in the process of solving trait goals,
                // them.