{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // called by `main` or other global items, when eagerly monomorphizing impl
    // Unlike 'lazy' monomorphization that begins by collecting items transitively
    // items, we never actually check that the predicates of this impl are satisfied