{"ast_node_type":"impl","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
    // items, we never actually check that the predicates of this impl are satisfied
    // called by `main` or other global items, when eagerly monomorphizing impl
    // in a empty param env (i.e. with no assumptions).