{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
                            // unconditionally need to prove a `HostEffect` predicate, even when
                            // We don't emit a const bound here, since that would mean that we
                            // the predicates are being instantiated in a non-const context. This