{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
                // SAFETY (lock_assume_sync): We know `is_dyn_thread_safe` was true when creating
                // always inbounds.
                // the lock thus `might_be_dyn_thread_safe` was also true.