{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
                        // requirement is not checked in type definition
                        // late-bound regions. Therefore, the WF
                        // but at fn call site, so ignore it.